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