Dowód nie wprost: Różnice pomiędzy wersjami
[wersja przejrzana] | [wersja nieprzejrzana] |
Usunięta treść Dodana treść
→Zobacz też: odlinkowanie Skarbnicy Wikipedii i przekierowań do niej |
Nie podano opisu zmian |
||
Linia 11:
# 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.
indu
== Zobacz też ==
* [[dowód wprost]]
Linia 17:
* [[Konstruktywizm (filozofia)|konstruktywizm]]
* [[twierdzenie przeciwstawne]]
* [[Indukcja matematyczna]]
[[Kategoria:Logika matematyczna]]
|