主题:【原创】我们不谈数学(3)(草稿) -- jungleford
共:💬29 🌺112
所有集合的集合 的确会导致悖论,但并不是楼主这样论证的。
设所有集合的集合为A,可由之构造幂集P(A),由于P(A)是A的子集(A的定义),则有| P(A) | ≤ | A |,
根据Cantor定理,又有
| P(A) | > | A |
矛盾。
楼主似乎没有论证出什么矛盾来,集合的定义没有禁止{A}的构造,也没有禁止{A}与A的对于属于关系的交换。
- 相关回复 上下关系8
🙂泛型大概和数理逻辑中的类型论有关 明日枯荷包 字50 2009-11-05 05:55:29
🙂MS计算机语言的类型系统也是类型论的应用 假设 字131 2010-02-27 20:24:50
🙂我们不谈数学(番外的番外) jungleford 字1172 2009-11-05 04:09:04
🙂请教
🙂康托尔本人确实不是按俺那个方式论证的 jungleford 字374 2009-11-05 01:41:04