强归纳法,数学归纳法,证明,自然数,归纳假设。