19/10/05 15:40:26.14 o3FGv8uB.net
おっちゃんです。
>>52
>いえいえ
>極限ですよ
>
>有限の
>n：{Φ,{Φ},{Φ,{Φ}},・・}→{・・{Φ}・・}（一番右以外のΦを除くことを繰返す。{}はn重）
>
>ここで、n→∞とする
訂正して解釈して読んでも、極限は極限は存在せず、第n項がnの実数列 {n} は発散する。
>n→∞の極限を正統化するのが、無限公理でしょ（＾＾
自然数全体の集合Nや無限集合の存在性を保証するのが無限公理。
可算無限無限集合Nの存在性の保証はペアノの公理で済む。