归纳法和自然数