0011132人目の素数さん2018/07/28(土) 11:21:10.74ID:Y1SPhUlx ω_1^CKは帰納的に定義可能な順序数の極限を表す順序数です、つまり帰納的に定義不可能な1番目の順序数です。非自明な収束列を持ちます。