Dowód nie wprost: Różnice pomiędzy wersjami

# nie dzieli się przez żadną z liczb <math>p_1, p_2, p_3, \dots p_n</math>.

Stąd musi istnieć ''jeszcze jakaś liczba pierwsza'' oprócz wymienionych – ale to jest sprzeczne z założeniem, że <math>p_1, p_2, p_3, \dots p_n</math> to ''wszystkie'' liczby pierwsze. Uzyskanie sprzeczności z przyjętym wcześniej założeniem pozwala więc wywnioskować, że było ono fałszywe – czyli liczb pierwszych jest nieskończenie wiele.

== Zobacz też ==

* [[dowód wprost]]

* [[Konstruktywizm (filozofia)|konstruktywizm]]

* [[twierdzenie przeciwstawne]]

[[Kategoria:Logika matematyczna]]