[原创]试论康托定理的证伪和康托悖论罗素悖论的解悖方法

ygq的马甲

下面引用由梅飞在 2009/10/03 05:53pm 发表的内容：
E2是个无限集，怎么能把每个元素都列出来？只能表述元素的属性，或者举例若干。
如果是E3，就是另一个集合，和E2没有什么元素上的关系。
当然E2∩E3 =Φ。
还有E4、E5等，都是另外的集合。

无限集 ？？？  看到【无限】就晕[br][br]-=-=-=-=- 以下内容由 ygq的马甲 在 时添加 -=-=-=-=-

至少前几项应该能给出吧，例如前 5 项什么的

changbaoyu

当然E2∩E3 =Φ。
还有E4、E5等，都是另外的集合。
无限集 ？？？  看到【无限】就晕
-=-=-=-=- 以下内容由 ygq的马甲 在 时添加 -=-=-=-=-
【【至少前几项应该能给出吧，例如前 5 项什么的】还需要更细之！？其实这是个理！！！能给出吧？！文字简明意即可，要过程－－－简开光眼明理．谢识．

ygq的马甲

E2={x|x=2或由2表构的集合}，
其中，由2表构的集合，是指由2且只由2，并可能附加集合表达符{、}，以及逗号分隔符、省略号所表达构造出来的集合。例如，{2}是一个由2表构的集合，{2,{2}}是一个由2表构的集合，{2,{2},{{{2}}}}也是一个由2表构的集合。

给我（俞根强、ｙｇｑｋａｒｌ）的感觉是：在定义“皮亚诺自然数”
1 ===> {2}
2 ===> {2,{2}}
3 ===> {2,{2},{{{2}}}}

ygq的马甲

下面引用由wangyangke在 2009/10/03 07:49pm 发表的内容：
“蠢货”（ygq的马甲）你，为什么到现在仍然还是“蠢货” ？？？
“蠢货”（ygq的马甲 ）你，“意淫”很开心吗？？？“意淫”很生猛吧？？？
少“添乱”就是多作“贡献”啦。网络时代的“蠢货”还特别多，唉，… ...

【鉴定】和【评估】结论是：“无知者无畏”式的“蠢货”（wangyangke）
“蠢货”（wangyangke）你，为什么到现在仍然还是“蠢货”？？？原因之一就是“蠢货”（wangyangke）你站在【正确】的对立面

梅飞

文中已经对E2的元素给出了几个举例：
x1=2;
x2={2};
x3={2,{2}};
x4={2,{2},{{{2}}}};
这里又可举例：
x5={{2}};
x6={{{2}}};
x7={2,{{2}}};
x8={{2},{{2}}};
x9={2,{2},{{2}}};
...

梅飞

自然数集是可数的，但E2是不可数的。
虽然列举了E2的几个元素，但其实E2的元素不可列。

ygq的马甲

下面引用由梅飞在 2009/10/03 09:00pm 发表的内容：
自然数集是可数的，但E2是不可数的。
虽然列举了E2的几个元素，但其实E2的元素不可列。

看到【无限】就晕

文中已经对E2的元素给出了几个举例：
x1=2;
x2={2};
x3={2,{2}};
x4={2,{2},{{{2}}}};
这里又可举例：
x5={{2}};
x6={{{2}}};
x7={2,{{2}}};
x8={{2},{{2}}};
x9={2,{2},{{2}}};

ygq的马甲

下面引用由梅飞在 2009/10/03 04:55pm 发表的内容：
E2其实是一个小全集，它与它的幂集P(E2)等势：
|E2|=|P（E2）|。
其实对于大全集E，它与它的幂集P(E)也是等势的：
|E|=|P（E）|。
...

实际上就是引入“潜无穷 ∞”类型

changbaoyu

实际上就是引入“潜无穷 ∞”类型_
不可知论现己打破———全息智科＝＝＞全息慧科．路还得自己走．任何人都替带不成！！！转变覌念是法！？先为自已．再为别人去兼容．如果没有梦想生活就没有动力！也要切合实际．

梅飞

这里和实无限潜无限的话题没多大关系。
这里关心的是有那种集合，等势于它的幂集，那么康托定理就不成立，进而康托的最大基数悖论就自然得到消解。
这里的重点话题是要指出，康托的反证法当中的Ｄ并不是一个集合，而康托是错误的认定了Ｄ是一个集合，进而得出了康托定理的错误结论。
相关的话题是，罗素所构造的罗素集也并不是一个集合，但罗素错误的认定它是一个集合，并由此引发了第三次数学危机，而其实罗素集并非集合，你一定要认定它是集合才会导出悖论。