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

罗素定理

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

相关小说

若离晴天仅你可见 连载中
若离晴天仅你可见
缘落.^
0.1万字5个月前
穿书之师尊难为 连载中
穿书之师尊难为
北骇
沈长明精通占卜之术,被封为国师,正春风得意之时,突然穿书到一个狗血虐恋的话本里。在话本里,和他同名同姓的沈长明,被亲手养大的徒弟顾谪废了修为......
57.9万字5个月前
名柯聊天室内1 连载中
名柯聊天室内1
199***325_5023543990
0.3万字4个月前
我们的高中时代!!! 连载中
我们的高中时代!!!
安吹的小号啦
自己看看吧
0.0万字4个月前
X龙时代(漫画式) 连载中
X龙时代(漫画式)
蓝离殇灬字蓝霜
没什么简介,漫画来的,爱看看不看。我是把这个做给那些不能看这个漫画的小朋友们的
0.0万字4个月前
超能小星探1 连载中
超能小星探1
风雪归来
恋爱科幻
0.7万字4个月前