So I began to read Terry Tao's "Analysis 1" and I got confused by his strong induction formulation. The way he puts it is: "Let $m_0$ be a natural number, and let $P(m)$ be a property pertaining to an arbitrary natural number $m$. Suppose that for each $m \geq m_0$, we have the following implication : if $P(m')$ is true for all natural numbers $m_0 \leq m' < m$, then $P(m)$ is also true. (In particular this means that $P(m_0)$ is true, since in this case the hypothesis is vacuous.) Then we can conclude that $P(m)$ is true for all natural numbers $m \geq m_0$. " Now I didn't understood his explanation why it means $P(m_0)$ is true. Can you please clarify it for me ?