Definition:Second Principle of Finite Induction/Terminology