>>155
君の言う超自然数は標準自然数も含むのね。では改めて、
>それ以下の正の超自然数がω1個あるというもののつもり
それだとω1を定義できてない。任意の超自然数nに対してn未満の超自然数はn個だから、任意の超自然数が君の言うω1に該当する。