>>161
その通りそのあたりの超自然数はどれもω1として使える
ω1-1でも2ω1でも
>>90
では別に特定したかったわけではないし
特に何か厳密なこと書こうとしていたわけではないのでね
そのあとω1-1が無いと
ああ多分順序数のことをいいたいのだなという指摘があったから
超自然数なら自由にω1-1があるよと書いただけ
何て言うか
どうでもいいことをどうでもいいと答えるべきだったかも？