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

罗素定理

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

相关小说

元良续章 连载中
元良续章
白雨映寒山
一次意外,让两个世界相撞,我们成了彼此不可或缺的拼图。我们的相遇,点亮了彼此的夜空。
1.8万字1个月前
洪荒之吾为罗喉 连载中
洪荒之吾为罗喉
准提子
(已完本)穿越洪荒魔祖罗睺。
22.7万字4周前
心机婊上位计 连载中
心机婊上位计
小伶仙
你怎么不看人家是不好看嘛?嘤嘤嘤(作品低俗劝你别看)
0.7万字4周前
小石寥寥 连载中
小石寥寥
梧桐妹
小石头寥寥因缘际会之下与仙界月神双修了,也因此展开了一场甜蜜的恋爱。恋爱的过程总总有些反派会到处出没,所以我们寥寥受伤了,需要大量的功德之力......
18.9万字4周前
拾锦—贰 连载中
拾锦—贰
桉溧
一个人若享受了孤独,便不觉得孤独。可你为何偏偏出现在我身边?——锦年因为你值得。——韩澈我阿姐是世界上最漂亮的女子,可是她不爱笑。——苏柒殿......
11.5万字4周前
无限流:我在逃生游戏做boss 连载中
无限流:我在逃生游戏做boss
九殇一黎
(已签约)不知何时记忆里总是出现了一个模糊的身影,觉得自己和他认识又不知道在哪里见过。直到自己无意间中卷入到一场游戏中,认识和他一起被卷入游......
1.9万字4周前