Um zu zeigen, dass die Aussageform A(n) allgemeingültig ist, d.h. A(0) ist eine wahre Aussage , A(1) ist ist eine wahre Aussage, A(2) ist eine wahre Aussage usw., bedient man sich des Axioms der vollständigen Induktion. Das lautet: