Proof of Recursive definition, Analysis 1 by Terence Tao.

Question

I got Proof of a proposition regarding recursive definitions (from Terence Tao's Analysis I)
Here i understood that what tao done in the proof. But still i have some confusion.

Question: Why Terence Tao didn't use inductive hypothesis in the proof of proposition 2.1.16?

Also there are some other proofs too where inductive hypothesis is not used and still these are done by induction. How is this possible.

Proposition:2.1.16 (Recursive definition). Suppose for each natural number n, we have some function $f_n: \mathbb N → \mathbb N$ . Let c be a natural number. Then we can assign a unique natural number $a_n$ to each natural number n, s.t $a_0=c$ and $a_{S(n)}=f_n(a_n)$ for each natural number n.

Notice : I used $S(n)$ instead of $n++$.

Answer 1

Quoting from the proof in the link provided, the inductive hypothesis is used starting in the sentence

Now suppose inductively that the procedure gives a single value to $a_n$.

The next sentence completes the induction:

Then the procedure give a single value to $a_{n++}$, namely $f_n(a_n)$.

Here is a more detailed explanation of that sentence. Knowing from the induction hypothesis that $a_n$ has a single value, and knowing from the hypothesis of the proposition that $f_n$ is a function, it follows from the definition of a function that $f_n(a_n)$ is a single value. That value is then assigned to $a_{n++}$, using the assignment statement $a_{n++} := f_n(a_n)$. This gives a single value to $a_{n++}$ which completes the induction step.

Almost.

In the sentence in parentheses that follows, the author raises an issue: Could one of the later assignment steps $a_{m++} = f_m(a_m)$ cause $a_{n++}$ to be re-assigned a different value? But this could only happen if $m\!+\!+=n\!+\!+$, which by Axiom 2.4 only happens when $m=n$. The issue is therefore irrelevant.