>>750
アリストテレスと同様の可能無限論者である
哀れな素人氏が無限公理やωを否定するのは
予想通りである

そしてその場合可算無限集合も否定される

可算無限集合とはωのことだから

>>752
可能無限と実無限の境界は
可算無限と非可算無限の境界とは異なる

つまり

可能無限：有限集合しか認めない
実無限　：無限集合も認める

という区別があり
後者の実無限論者が認める無限集合の中に

可算無限　：ω、およびこれと同濃度の無限集合
非可算無限：ωとは異なる濃度を持つ無限集合

という区別がある

実数全体２＾ωは代表的な非可算無限集合である