In the book "Understanding Analysis, second edition" by Stephen Abbot, the unboundedness of the set of natural number $\mathbb{N}$ is proven as the following proof: Assume, for contradiction, that $\mathbb{N}$ is bounded above. By the Axiom of Completeness (AoC), $\mathbb{N}$ should then have a ...