>>114
>それ以下の正の超自然数がω1個あるというもののつもり
それ未満のω1個を列挙すると、ω1-1,ω1-2,・・・,2,1,0 ってことかい？
つまり
・超自然数全体の最小元が存在する。
・0は超自然数。
ということかい？