17/08/27 09:41:51.74 /LpAPMnz.net
>>62
＞ZFCで、まず空集合があって、
＞空集合の集合から{0}が定義され、１が定義される。
＞１の後者として２が定義され、ｎが定義される。
＞任意のｎに後者がある。繰り返すことと無限公理により、
＞自然数全体の集合、つまり可算無限集合が構成される
＞”繰り返す”ことと”無限公理”の部分が、
＞数学的には極限、つまり「lim n→∞」ってことじゃないのか？
0={}、1={{}}、2={{},{{}}}、・・・の極限は
ω＝{0,1,2,・・・｝
だよ
よく1={1}、2={1,2}、・・・、の極限で
ω＝{1,2,・・・ω｝
とかいう奴がいるけど全然違うから