Mètode del descens infinit: diferència entre les revisions
Contingut suprimit Contingut afegit
m r2.7.2) (Robot modifica: en:Proof by infinite descent |
m precisió |
||
Línia 1:
El '''mètode de descens infinit''' és un argument matemàtic relacionat amb la [[demostració per inducció]], i també amb la [[reducció a l'absurd]]. Utilitza el fet que una successió de [[nombre natural|nombres naturals]] estrictament decreixent és necessàriament finita. Aquest mètode descansa sobre un dels axiomes dels nombres naturals : ''tot conjunt no buit de nombres naturals té un element que és el més petit de tots''.
Per tant, per demostrar que els enters naturals no posseeixen una propietat n'hi ha prou en demostrar que si existís algun enter natural que la tingués llavors se'n podria trobar un altre estrictament més petit que també la tindria.
== Principi ==
| |||