aleph-1
aleph-1,
The assumption that the cardinality of each infinite set is an aleph number is equivalent over ZF to the existence of a well-ordering of each set, which in turn is equivalent to the ax