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

[wersja przejrzana][wersja nieprzejrzana]
Usunięta treść Dodana treść
KamikazeBot (dyskusja | edycje)
→‎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]]