Dowód wprost

Przyjmujemy za prawdziwe założenia i prowadzimy wnioskowanie do momentu stwierdzenia, że teza twierdzenia jest prawdziwa.

Dowód nie wprost

Przyjmujemy przypuszczenia o fałszywości tezy dowodzonego twierdzenia i pokazujemy, że prowadzi ono do sprzeczności z założeniem. Sprzeczność dowodzi prawdziwości twierdzenia.

Zasada indukcji matematycznej

Polega na wykazaniu prawdziwości twierdzenia dla n oraz że dla każdego k>=n z prawdziwości równości dla k wynika jego prawdziwości dla k+1. Wtedy twierdzenie jest prawdziwe.

Więcej szczegółów w przykładach.