I have recently begun self studying Real Analysis 1 by Tao. Such proofs are new to me and the solutions are not provided in the book. That is why I'm asking this question. Any feedback is welcome, thank you very much for your time!
There are two other questions about this lemma on here. However, they both used symbolic logic and hence remain inaccessible to me.
Axiom 2.4: Different natural numbers must have different successors; i.e., if $n,m$ are natural numbers and $n≠m,$ then $n++≠m++.$ Equivalently, if $n++=m++,$ then we must have $n=m.$
Axiom 2.5: Let $P(n)$ be any property pertaining to a natural number $n$. Suppose that $P(0)$ is true, and suppose that whenever $P(n)$ is true, $P(n++)$ is also true. Then $P(n)$ is true for every natural number $n.$
I am trying to prove:
Lemma 2.2.10: Let $a$ be a positive number. Then there exists exactly one natural number $b$ such that $b++=a.$
Proof: Let $P(n)$ be a property pertaining to a natural number $n.$ Assume that $P(0)$ is true and that $P(n)$ being true implies that $P(n++)$ is true. By axiom 2.5, $P(n)$ is true for all natural numbers $n.$ Assume that there exists a positive natural number $a$ such that $b++\not=a$ for any natural number $b.$ However, the existence of such a number would mean that $P(a)$ isn't necessarily true. This is a contradiction and hence there must exist a natural number $b$ such that $b++=a.$ Next, assume that $c$ is also a natural number such that $c++=a.$ Hence, $b++=c++.$ By axiom 2.4, this implies that $b=c.$ Consequently, there exists a unique natural number $b$ such that $b++=a$ for all positive natural numbers $a.$ $\square$