Large cardinal
= Large cardinal
{wiki}
A large cardinal property strengthens uncountability by imposing combinatorial, logical, measure-like, or elementary-embedding structure whose existence is not provable in ZFC if ZFC is consistent.
= Large cardinal
{wiki}
A large cardinal property strengthens uncountability by imposing combinatorial, logical, measure-like, or elementary-embedding structure whose existence is not provable in ZFC if ZFC is consistent.