19/10/06 11:52:13.47 9PvOfF3Z.net
>>151
>まあ、自然数ｎに対しその後者ｎ＋１が必ず属する集合Nが存在という意味だな
>このNは、我々の望む自然数ｎ以上のものを含む。というか、含んでも無限公理上はしかたない
>だから、あとから不要なもの（後者）を排除するしかない
>では、不要なもの（後者）とは何か？ 我々の望むものは、自然数ｎ（有限）のすべて
>だから、不要なもの（後者）とは、有限を超えたものであって、真に無限のもの
>ツェルメロ構成では、真に無限の{・・・{Φ}・・・}なる無限多重カッコ{}の集合たちですね
これは酷い