|
gptkb:ZFC_(with_axiom_of_choice)
|
existence of a nontrivial elementary embedding of the universe
|
|
gptkb:ZFC_(with_axiom_of_choice)
|
existence of a Woodin cardinal
|
|
gptkb:ZFC_(with_axiom_of_choice)
|
existence of a basis for every vector space
|
|
gptkb:ZFC_(with_axiom_of_choice)
|
existence of a well-ordering of the reals
|
|
gptkb:ZFC_(with_axiom_of_choice)
|
existence of a Ramsey cardinal
|
|
gptkb:ZFC_(with_axiom_of_choice)
|
existence of a Mahlo cardinal
|
|
gptkb:ZFC_(with_axiom_of_choice)
|
gptkb:Whitehead_problem
|
|
gptkb:ZFC_(with_axiom_of_choice)
|
existence of nontrivial elementary embeddings of the universe
|
|
gptkb:ZFC_(with_axiom_of_choice)
|
existence of a Reinhardt cardinal
|
|
gptkb:ZFC_(with_axiom_of_choice)
|
existence of a supercompact cardinal
|
|
gptkb:ZFC_(with_axiom_of_choice)
|
existence of measurable cardinals
|
|
gptkb:ZFC_(with_axiom_of_choice)
|
existence of a non-measurable set of reals
|
|
gptkb:ZFC_(with_axiom_of_choice)
|
existence of inner models with large cardinals
|
|
gptkb:ZFC_(with_axiom_of_choice)
|
existence of a nonprincipal ultrafilter on the natural numbers
|
|
gptkb:ZFC_(with_axiom_of_choice)
|
existence of a strongly compact cardinal
|
|
gptkb:ZFC_(with_axiom_of_choice)
|
existence of a strongly inaccessible cardinal
|
|
gptkb:ZFC_(with_axiom_of_choice)
|
gptkb:continuum_hypothesis
|
|
gptkb:ZFC_(with_axiom_of_choice)
|
gptkb:large_cardinal_axioms
|
|
gptkb:ZFC_(with_axiom_of_choice)
|
existence of a Hamel basis for the real numbers as a vector space over the rationals
|
|
gptkb:ZFC_(with_axiom_of_choice)
|
gptkb:Banach–Tarski_paradox
|