主题：【原创】我们不谈数学（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