There ie an old (c. 1967) argument due to Dana Scott tnat is not as well known to philosophers and logicians as it ought to be. I shall cone back to it later.
The principle of matheaatlcal induction asserts that every number belongs to any class tnat contains zero and also contains tne successor of any member.
Can the principle of mathematical induction be proved? That is to say, is there a way to show tnat every numoer oelongs to any class, that, etc?
Like any other statement, the principle of mathematical induction can be derived from itself, in zero lines. This quick and easy derivation is not a proof of mathematical induction: it does not show that induction is true.