How do we know that the two statements
>There is no largest natural number
>The natural numbers go on forever
are equivalent? Never mind whether this implies that the set is infinite or not, how can we prove that it isn't just a finite poset?
>There is no largest natural number
>The natural numbers go on forever
are equivalent? Never mind whether this implies that the set is infinite or not, how can we prove that it isn't just a finite poset?
