Definition:Principle of Finite Induction/Terminology