>>110
そこで書いたω1とは順序数のω1ではなくて
それ以下の正の超自然数がω1個あるというもののつもり