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. To kończy dowód. ∎
Zobacz też alibi dowód wprost heureza konstruktywizm prawo wyłączonego środka twierdzenie przeciwstawne
Przypisy
Linki zewnętrzne
Słownik Wyrazów Obcych: atopia i apagogiczny dowód
Kategoria:Metoda filozoficzna Kategoria:Dowody matematyczne