Assuming the axiom of choice, infinite cardinalities are linearly ordered; no two cardinalities can fail to be comparable.
Assuming the аксиомата на изборот, бесконечните кардиналности се линеарно подредени; секои две кардиналности мора да се споредливи.