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

罗素定理

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

相关小说

我在兽世作天作地 连载中
我在兽世作天作地
艾乔
只是想拍个美照而已,怎么现在拍个照都能穿越了?木月柔表示很无奈,行叭!,穿就穿叭,她也只能认了!只是,说好的兽世呢?怎么和她想象中的完全不一......
58.2万字7个月前
盟卡车神:未来之友 连载中
盟卡车神:未来之友
该用户已注销
小璘在未来的故事(小璘粉一定喜欢)
0.6万字7个月前
快穿:招惹了反派Boss 连载中
快穿:招惹了反派Boss
该用户已注销
温逸辞的童年时光却是阴暗又充满恐惧的。直到,他来到,快穿世界,做起了任务,遇到了能够救赎他的光。只是在系统看来却不一样“你到底为什么要招惹反......
3.8万字7个月前
御行……禁 连载中
御行……禁
吃糖的小迷糊
三色混合起,黑白取其中。红雨紫绿下,万鬼同声扰。玄心碎失意,凭觉执事行。众至风灵归,过往皆不计。
45.4万字7个月前
动漫人物日常 连载中
动漫人物日常
莹之悦
快来看看动漫人物的日常吧!动漫人物主要在是《斗龙战士》《激战奇轮》
1.8万字7个月前
女主的悠闲生活 连载中
女主的悠闲生活
临江音
白溪:“又是个新世界呢,要不…做个咸鱼?”兰悠悠:“白溪!你在干了什么?!等等,这个不行!等一下,住手!”熙魏“师傅!这是我的女票啊ヽ(ˋД......
5.5万字7个月前