cof(β,α):⇔∃f:β→α{∀α0∈α∃β0∈βα0<f‘β0∧∀β0,β1∈β[β0∈β1⇔f‘β0∈f‘β1]cf(α):≡minβcof(β,α)は弱到達不可能基数ℵ(α)は弱到達不可能基数:⇔{α∈Lim∧cf(ℵ(α))=ℵ(α)は弱到達不可能基数ℵ(α)は弱到達不可能基数⇔[cf(α)=α=ℵ(α)]は強到達不可能基数ℵ(α)は強到達不可能基数Inac(ℵ(α)):⇔{0<α∧cf(ℵ(α))=ℵ(α)∧∀β<α2ℵ(β)<ℵ(α)
バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。