Definition:Principle of Mathematical Induction/Terminology