21/05/20 06:27:44.70 XKKTinQT.net
後者関数だけではωに達しない
後者関数を無限回適用することはできない
ωを作るには後者関数でない別の方法が必要
それが無限公理
0∈１∈・・・∈ｎ∈ω は有限列
決して無限列にはなりえない
鉄道を無限に乗り続けてωに至ることはない
かならずどこかで飛行機に乗らないとωにいけない
ωから降りるときも同様
かならず最初に飛行機でどこかのｎに行かなければならない
ωから下にいく鉄道路線はない
21/05/20 06:27:44.70 XKKTinQT.net
後者関数だけではωに達しない
後者関数を無限回適用することはできない
ωを作るには後者関数でない別の方法が必要
それが無限公理
0∈１∈・・・∈ｎ∈ω は有限列
決して無限列にはなりえない
鉄道を無限に乗り続けてωに至ることはない
かならずどこかで飛行機に乗らないとωにいけない
ωから降りるときも同様
かならず最初に飛行機でどこかのｎに行かなければならない
ωから下にいく鉄道路線はない