17/10/01 19:36:45.54 uIo4DGr8.net
ｽﾚﾘﾝｸ(math板:793番)
ペアノの公理
・０は自然数
・ｘが自然数ならｘ＋１も自然数
無限公理
以下の２つの条件を満たす集合ωが存在する
・｛｝（＝０）はωの要素
・ｘがωの要素ならｘ∪｛ｘ｝（＝ｘ＋１）もωの要素
ペアノの公理では、自然数全体の集合の存在については述べていない
したがって可能無限と解釈することもできる
しかし、無限公理は、自然数全体の集合にあたるものの存在を主張してる
この時点で実無限だと解釈せざるを得ない