Prove that every Non-Empty set of Positive Integers contains a "Least Element".
(In reply to
re(2): {P, r, o, o, f} by Gamer)
Sets, by definition, don't contain duplicates.
My argument against Brian Smith's answer also works against this one. The problem is that sets can be infinite in size.