0109132人目の素数さん垢版 | 大砲2017/12/20(水) 07:06:12.79ID:4LAaCJuh 0^(1)を使えばチャーチクリーネ順序数の基本列が作れるし、 より次数が大きければ、より大きな可算順序数が作れる 大きな順序数から次数の大きな集合を作り 次数の大きな集合から大きな順序数を作る これを繰り返すことで到達する順序数は非常に大きいが 名前はついているんだろうか