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

• The definition of induction and proving of induction in mathematical logic