意思：

數(shù)學上證明與自然數(shù)n有關(guān)的命題的一種方法。必須包括兩步：(1)驗證當n取第一個自然數(shù)值n0(如1，2等)時，命題正確；(2)假設當n取某一自然數(shù)k時命題正確，以此推出當n=k+1時這個命題也正確。從而就可斷定命題對于從n0開始的所有自然數(shù)都成立。