数学归纳法和递归定义