康托无最大基数定理及证明 证明的合理吗

zhaolu48

　　　　　康托无最大基数定理及证明　证明的合理吗

jzkyllcjl

关键的问题是反证法能不能使用！

zhaolu48

申一言

    对!
      这就是:
             糊涂数学糊涂神!
             坑了几代糊涂人?
             数有无穷确实真,
             没有那多乱问题!
                                   ______o⌒∞________
        

tnjian

只能说zhaolu48。你太死板了，没有理解书本的意思。
书本的意思是，假如A和A的幂集等势，那么Ax就是A的一个子集，那么Ax的补集也存在，把这个补集记做A星。
明白了么？A星集合的存在性是由假设等势推导出来的。你把A星看成Ax的补集就可以了。

zhaolu48

下面引用由tnjian在 2009/06/26 06:36pm 发表的内容：
只能说zhaolu48。你太死板了，没有理解书本的意思。
书本的意思是，假如A和A的幂集等势，那么Ax就是A的一个子集，那么Ax的补集也存在，把这个补集记做A星。
明白了么？A星集合的存在性是由假设等势推导出来的。　...

究竟是谁“没有理解书本的意思”，只能是见仁见智了。

恶心的狐狸

这是因为既然映射都是存在的，那么构造出的A*自然也是存在的，A*的存在完全是因为映射的存在。
而如今证明出A*存在的不合理性，那么就说明了影射存在不合理

zhaolu48

>“明白了么？A星集合的存在性是由假设等势推导出来的。”
只能说，设了A到P(A)存在一一映射f
才可以设即令A星，这里并不是推导出来的。
如果这个证明是正确的，
那么用类似的方法可以证明“坦诚自己说假话的人是哑吧”
设坦诚自己说假话的人不是哑吧，
那么就可以设他说“请注意，我现在正在说假话”
那么“我现在正在说假话”这句话是真话，可得这句话是假话，“我现在正在说假话”是假话，可得这句话是真话，导致矛盾，因此“坦诚自己说假话的人是哑吧”。
由此可知，由A可以B，当B不成立时，不能得到A也不成立。

ygq的马甲

下面引用由zhaolu48在 2009/06/27 08:23am 发表的内容：
>“明白了么？A星集合的存在性是由假设等势推导出来的。”
只能说，设了A到P(A)存在一一映射f
才可以设即令A星，这里并不是推导出来的。
如果这个证明是正确的，
...

提醒注意，【反证法】只能适用于“形式”逻辑 ，即 A∩﹁A =Æ[br][br]-=-=-=-=- 以下内容由 ygq的马甲 在 时添加 -=-=-=-=-

这个【证明】，是有效的

申一言

下面引用由ygq的马甲在 2009/06/27 08:32am 发表的内容：
提醒注意，【反证法】只能适用于“形式”逻辑 ，即 A∩﹁A =Æ-=-=-=-=- 以下内容由 ygq的马甲 在  时添加 -=-=-=-=-
这个【证明】，是有效的

     哈哈!
         有效!
         你继续乱【鉴定】,,,
         恶心的狐狸的今天就是你的明日!