Earlier today, I was thinking about the statement that "there exists no greatest natural number" and immediately, two proofs sprang to my mind. Since my question depends on these, I'll write them out below . . .(adsbygoogle = window.adsbygoogle || []).push({});

Proof 1: Let [itex]n \in \mathbb{N}[/itex]. Clearly [itex]n+1 \in \mathbb{N}[/itex] and [itex]n < n+1[/itex]. Since, given any natural number, it's possible to explicitly construct a larger natural number, [itex]\mathbb{N}[/itex] contains no greatest element.

Proof 2: Clearly [itex]1 \in \mathbb{N}[/itex]. Now suppose that [itex]\mathbb{N}[/itex] is bounded above, in which case [itex]\mathbb{N}[/itex] is a bounded, non-empty subset of the Real numbers. Since [itex]\mathbb{N}[/itex] satisfies the necessary conditions, [itex]\sup\{\mathbb{N}\}[/itex] exists. Because [itex]\sup\{\mathbb{N}\}[/itex] is an upper bound for [itex]\mathbb{N}[/itex], it follows that for any natural number [itex]n[/itex] we have that [itex]n < \sup\{\mathbb{N}\}[/itex]. Since [itex]n+1[/itex] is also a natural number, [itex]n+1 < \sup\{\mathbb{N}\}[/itex] which implies that [itex]n < \sup\{\mathbb{N}\} - 1[/itex]. This contradicts the fact that [itex]\sup\{\mathbb{N}\}[/itex] is a least upper bound and consequently, the assumption that [itex]\mathbb{N}[/itex] is bounded above must have been incorrect. Therefore, [itex]\mathbb{N}[/itex] is unbouded above, completing the proof.

Now, my question is this: What is the difference between the two proofs? From what I can gather, the firstonlydemonstrates that [itex]\mathbb{N}[/itex] contains no greatest element; while the second demonstrates that [itex]\mathbb{N}[/itex] contains no greatest elementandis in fact, unbounded above. Is this sort of thinking correct or am I just fundamentally confused about something? Any clarifications or advice are appreciated. Thanks!

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Natural Numbers

Loading...

Similar Threads - Natural Numbers | Date |
---|---|

Are natural numbers mental abstractions? | Aug 19, 2017 |

B Natural Numbers and Odd Numbers | Jun 11, 2017 |

A What if the (semi) field characteristic of N is not zero? | May 26, 2017 |

I Cancellation law multiplication natural numbers | Sep 22, 2016 |

Not natural number term | Jun 8, 2016 |

**Physics Forums - The Fusion of Science and Community**