[BB] Suppose that any nonempty finite set of natural numbers has a smallest element. Prove that any nonempty set of natural numbers has a smallest element.
We need at least 10 more requests to produce the solution.
0 / 10 have requested this problem solution
The more requests, the faster the answer.