We could say that a number is inductive or inductious if it will spread truth of a proposition to the successor number.
- Base Case. 0 is valid.
- Hypothesis step, n is valid.
- Inductive step, n is inductive, meaning that n’ is valid.
- Conclusion step. All natural numbers are valid.
Valid is for some proposition. The proposition is inductive is proven in the inductive step.