We will take the following definition of mathematical induction:

Now consider the function :

It should not be difficult to see that . Therefore, by the principle of induction, if we wish to prove some property of , it suffices to show that is F-closed. In detail, we require:

That is,

This is precisely mathematical induction as stated.