数学联邦政治世界观
超小超大

罗素定理

定理1.1(罗素定理)

(¬[∃x∀y(y∈x ↔ y∉y]))

证明:假设其不成立,那么

∃x∀y(y∈x ↔ y∉y)

任取一个可以作为证据的集合 M ,于是,对于任意集合 y ,都有 y∈M ↔ y∉y 特别的,当取 y 为 M 时,M∈M ↔ M∉M 显然不成立

数学联邦政治世界观提示您:看后求收藏(笔尖小说网http://www.bjxsw.cc),接着再看更方便。

相关小说

星光秘事 连载中
星光秘事
青念苒
第一季[未完待续]为什么会有这么多遗憾呢,一场残忍的大赛,亲人不爱,被抛弃,兄弟反目成仇——暮雪只是为一件事。要欺骗这么多人吗?总之这一切我......
1.3万字7个月前
嗜血暗夜 连载中
嗜血暗夜
亦依然
卡米拉一直认为自己是一个没有感情的怪物,可是最后他还是心软了,收养了个半人半吸血鬼的小可怜作为吸血鬼,卡米拉惊奇的发现自己新收养的小可怜竟然......
0.7万字7个月前
(凹凸)梦境边缘,时之刃 连载中
(凹凸)梦境边缘,时之刃
城dawn
这些看似玩笑的话语,实则是我内心深处最真挚的誓言。有些话,藏在玩笑里,才敢让你听见。————————时斯:这些一定不仅仅是您的梦——————......
1.5万字6个月前
私亦心 连载中
私亦心
舌廿廿
苏芯瑶从小就是一个活泼开朗的女孩,但由于学习进度的增加变的内向,曾经的佼佼者也变成了学渣,但在高中的最后几个月经过不懈的努力考进了全国最高学......
4.8万字5个月前
当白月爱上朱砂痣 连载中
当白月爱上朱砂痣
甜绾绾
你知不知道我们一次偶遇,是我千方百计算出来的结果?CP多多有甜宠有上下有独占
11.5万字5个月前
余妄—春篇 连载中
余妄—春篇
木怀莹
《余妄》第一册,主角二人初遇,掀起了一场校园拉锯战
0.9万字1个月前