Tw. Niech T(n) oznacza twierdzenie, w którym
jest mowa o liczbach naturalnych. Jeżeli istnieje liczba naturalna n0€N taka że: (1) Tw. T(n0) jest prawdziwe (2) dla każdej liczby naturalnej (n ³ n0).
Z prawdziwości twierdzenia T(n) wynika prawdziwość twierdzenia T(n+1), [T(n)
=> (n+1)].
Tw. T(n) jest prawdziwe dla każdej liczby naturalnej (n ³ n0).
