<<Up     Contents

A cardinal number κ > ‭א‬₀ is called weakly inaccessible iff cf(κ) = κ, where cf denotes the cofinality. Assuming that ZFC is consistent, the existence of weakly inaccessible cardinals provably cannot be proved in ZFC.