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