数学归纳法
当𝒏= 𝒏 𝟎 时,命题成立; 在假设当𝒏=𝒌(𝒌∈ 𝑵 + ,𝒌≥ 𝒏 𝟎 )时,命题成立的前提下, 推出𝒏=𝒌+𝟏时命题也成立。 根据①②知,原命题对𝒌∈ 𝑵 + ,𝒌≥ 𝒏 𝟎 成立。
归纳奠基
归纳递推
与自然数相关的命题