ω_1^CKは帰納的に定義可能な順序数の極限を表す順序数です、つまり帰納的に定義不可能な1番目の順序数です。非自明な収束列を持ちます。