21/05/23 04:37:31.77 uztBnDg0.net
>>326の続き
いいかい、「鉄道」ではωに行けないんだ
だから、「飛行機」で行くんだよ
鉄道： 後続関数
飛行機；無限公理
「ｘ∈ωなら、ｘ＋１∈ω」といいきった瞬間、
鉄道ではいけないと示される
ｘ＋１＝ωとなるｘがないのだからね
0∈1
0∈1∈2
0∈1∈2∈3
･･･
これらの有限列全てに「∈ω」がつけられる、というのが
飛行機路線の開設だ
決して
0∈1∈2∈3∈･･･
という無限列に「∈ω」がつけられる、ということではない！