19/06/12 19:16:00.87 vvOxzZNG.net
>>750
アリストテレスと同様の可能無限論者である
哀れな素人氏が無限公理やωを否定するのは
予想通りである
そしてその場合可算無限集合も否定される
可算無限集合とはωのことだから
>>752
可能無限と実無限の境界は
可算無限と非可算無限の境界とは異なる
つまり
可能無限：有限集合しか認めない
実無限 ：無限集合も認める
という区別があり
後者の実無限論者が認める無限集合の中に
可算無限 ：ω、およびこれと同濃度の無限集合
非可算無限：ωとは異なる濃度を持つ無限集合
という区別がある
実数全体２＾ωは代表的な非可算無限集合である