The claim that every cardinal can be represented by an ordinal presupposes the Well-Ordering Theorem...