内容提要 ·归纳 ·数学归纳法 ·强数学归纳法 ●运用良序公理来证明 ·递归 ●递归定义 ·结构归纳法 。递归算法 内容提要  归纳  数学归纳法  强数学归纳法  运用良序公理来证明  递归  递归定义  结构归纳法  递归算法