>>339
>無限公理で、無限集合Nの存在が言える
 逆に無限公理なしに、無限集合Nの存在は証明できない
 これ豆な
>ここまで来れば、さらに
>自然数Nから有理数Qを定義して、
>有理数Qから実数Rを定義して・・
>とやると

Q1.Nから有理数Qを定義してご覧(初級)
   Zを経由してもいいよ
Q2.有理数Qから実数Rを定義してご覧(上級)

まあ、ぬっしーのオツムではQ1はクリアできてもQ2はムリかもな
Q2も大学1年レベルだけど、ぬっしーは何しろ中卒レベルだから