This assumes your numbers are well ordered (IE, any set of numbers has a "first"), which is called Zorn's Lemma. It's equivalent to the axiom of choice.