设 为所有不以自身为元素的集合的集合。那么
既不是自身的元素,也不是非自身的元素。符号表示,设
。则
当且仅当
。
伯特兰·罗素发现了这个悖论,并在弗雷格即将完成Grundlagen der Arithmetik时以信件形式寄给了他。这使得这项工作的严谨性大打折扣,弗雷格不得不在结尾处添加一个注释,声明“对于一位科学家来说,没有什么比在工作即将完成时发现地基坍塌更令人沮丧的了。当工作几乎完成印刷时,我收到了伯特兰·罗素先生的来信,就让我陷入了这种境地。”
设 为所有不以自身为元素的集合的集合。那么
既不是自身的元素,也不是非自身的元素。符号表示,设
。则
当且仅当
。
伯特兰·罗素发现了这个悖论,并在弗雷格即将完成Grundlagen der Arithmetik时以信件形式寄给了他。这使得这项工作的严谨性大打折扣,弗雷格不得不在结尾处添加一个注释,声明“对于一位科学家来说,没有什么比在工作即将完成时发现地基坍塌更令人沮丧的了。当工作几乎完成印刷时,我收到了伯特兰·罗素先生的来信,就让我陷入了这种境地。”
Weisstein, Eric W. "罗素悖论。" 来自 Web 资源。 https://mathworld.net.cn/RussellsAntinomy.html