O proprietate P(n) care depinde de un numar natural n este verificata pentru orice numar natural n³k atunci sunt satisfacute simultan conditiile:

a) Proprietatea P(n) este adevarata pentru n=k; kÎN

b) (P(k), k£n) Þ P(n+1), (“) n³k, adica presupunem P(k) adevarata pentru orice k£n rezulta p(n+1) adevarata, pentru orice n³k.