The definition of induction and proving of induction in mathematical logic

• 数理逻辑中的归纳定义和归纳证明