巨大数探索スレッド14

巨大数探索スレッド14at MATH

巨大数探索スレッド14 - 暇つぶし2ch11:１３２人目の素数さん
18/07/28 11:21:10.74 Y1SPhUlx.net
ω_1^CKは帰納的に定義可能な順序数の極限を表す順序数です、つまり帰納的に定義不可能な1番目の順序数です。非自明な収束列を持ちます。