>>161
>任意の超自然数nに対してn未満の超自然数はn個
それを外から見たときに必ずω1個と言えるかなあ
ω0個の場合は無いのかな？
Nから*Nを作るのと同様にして*Nから**Nを作ると
たしか
|N|=ω0<|*N|=2^ω0<|**N|=2^2^ω0
じゃなかったっけ？
だから自然数ではない超自然数（無限大超自然数）も
外から見たらω0のものもω1のものもあるんじゃないかな