Prove that every Non-Empty set of Positive Integers contains a "Least Element".
(In reply to
re(3): {P, r, o, o, f} by friedlinguini)
Yes Fried sets can be infinite in size and we know that the set of positive integers is an infinite set with 1 as its least element.