>>246
>カントールの無限集合論には、無限公理は存在しない
>（二階述語論理と無限公理を仮定しない理論・・・）

>>248
>無限公理を仮定せずに無限集合の存在を証明してみて

>>251
>素数の集合をＰとする
>Ｐは無限集合である ｂｙ ユークリッド

をひ！
カントールの無限集合論、どうした？ｗｗｗ
二階論理、どうした？ｗｗｗ

自然数論は有限集合論で論じられる
つまり、”自然数全体の集合”は必要ない
その場合、素数の全体はクラスとなる
ユークリッドの証明もそういう形で理解される　

ところで、これから雑談君を「二階クン」と呼んであげようかｗ
都合が悪くなると「二階論理ガー」と言い出す君にピッタリだろ？
な、二階クンｗ