kategória
| [ellenőrzött változat] | [ellenőrzött változat] |
(Új oldal, tartalma: „A ''végtelen leszállás''' egy indirekt bizonyítási módszer, ami azon alapul, hogy a természetes számok minden részhalmazának van legkisebb eleme. A módsz…”) |
(kategória) |
||
|
Másként, az egyenlet megoldáshalmazának is van legkisebb eleme, mivel a megoldáshalmaz a természetes számok halmazának része. Ebből készítünk egy még kisebb megoldást a feladat és a természetes számok tulajdonságainak felhasználásával. Ez ellentmond annak, hogy a legkisebb megoldásból indultunk ki, tehát az egyenlet megoldhatatlan.
[[Kategória:Matematikai logika]]
| |||