設 為所有不以自身為元素的集合的集合。那麼
既不是自身的元素,也不是非自身的元素。符號表示,設
。則
當且僅當
。
伯特蘭·羅素髮現了這個悖論,並在弗雷格即將完成Grundlagen der Arithmetik時以信件形式寄給了他。這使得這項工作的嚴謹性大打折扣,弗雷格不得不在結尾處新增一個註釋,宣告“對於一位科學家來說,沒有什麼比在工作即將完成時發現地基坍塌更令人沮喪的了。當工作幾乎完成印刷時,我收到了伯特蘭·羅素先生的來信,就讓我陷入了這種境地。”
設 為所有不以自身為元素的集合的集合。那麼
既不是自身的元素,也不是非自身的元素。符號表示,設
。則
當且僅當
。
伯特蘭·羅素髮現了這個悖論,並在弗雷格即將完成Grundlagen der Arithmetik時以信件形式寄給了他。這使得這項工作的嚴謹性大打折扣,弗雷格不得不在結尾處新增一個註釋,宣告“對於一位科學家來說,沒有什麼比在工作即將完成時發現地基坍塌更令人沮喪的了。當工作幾乎完成印刷時,我收到了伯特蘭·羅素先生的來信,就讓我陷入了這種境地。”
Weisstein, Eric W. "羅素悖論。" 來自 Web 資源。 https://mathworld.tw/RussellsAntinomy.html