後者関数だけではωに達しない
後者関数を無限回適用することはできない

ωを作るには後者関数でない別の方法が必要
それが無限公理

0∈１∈・・・∈ｎ∈ω　は有限列
決して無限列にはなりえない

鉄道を無限に乗り続けてωに至ることはない
かならずどこかで飛行機に乗らないとωにいけない

ωから降りるときも同様
かならず最初に飛行機でどこかのｎに行かなければならない
ωから下にいく鉄道路線はない