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

罗素定理

定理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),接着再看更方便。

相关小说

惊世狂妃:皇叔一宠到底 连载中
惊世狂妃:皇叔一宠到底
庄庄2
洞房花烛夜被休,丈夫诬陷她和小叔子滚床单,渣爹毒死她,渣妹还要将她分尸?不是吧不是吧?都这个年代了,还有人受这窝囊气呢?21世纪戏精影后降临......
218.4万字4个月前
修罗女君,终入怀! 连载中
修罗女君,终入怀!
糖丝甜
千万幽怨,已难渡万般情。最后的最后,那血发女子也成了帝上,掌管天上人间,威仪八方。而那扯下别人发带的少年同是帝上,与女子同渡万年,也将女子爱......
25.1万字2个月前
走吧,赚钱(名字:驱死病害) 连载中
走吧,赚钱(名字:驱死病害)
烂人王
【双男主】【黑暗】【刀子多】【死亡】【多CP但还算正经】【要素较多】(我不会做小说插图)《五胡乱华》《甲午战争》《克里米亚战争》《第一次世界......
0.9万字2个月前
落魄小宗竟全是大佬 连载中
落魄小宗竟全是大佬
栖休安
白漠渴望得道长生于是她来到来了一个小宗门(排雷:女主傻白甜,文中有多对楠楠副cp,全员be)
7.9万字1个月前
完美征途 连载中
完美征途
文澜_winlan
穿越到1732年的平行宇宙,我发现自己重生为一个婴儿,经历了一场惊心动魄的出生过程。随着年龄的增长,我逐渐意识到这个时代并不平静。我参与了一......
4.9万字1个月前
猴探oc大乱斗 连载中
猴探oc大乱斗
甜心冰糖
本书主要主角就是猴探的oc们,想要让我加进去你们oc的就加我dy、ks或xhsdy:甜心冰糖ks:冰糖xhs:冰糖头像不变!
8.7万字2周前