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