ABSTRACT
ZFC: The axiom set we usually use for mathematics, namely the ZermeloFraenkel axioms plus the axiom of choice.
cardinality: The number of elements in a set.
same size: We consider two sets to be the same size if we can put them in one-to-one correspondence.
