Thank you, Thank you, HallsofIvy.

If the concept of well ordering is meaningless for a single digit, and the positive integers are well ordered, then there is no such thing as a single integer subset, so if a subset of the integers contains n, it has to contain a larger number → Archimedes Postulate <-> Euclids Postulate

And also Archimedes postulate (Euclid) implies well ordering.

Now wasn’t that worth 16 posts?