数学归纳法是递归的数学基础。