„Reductio ad absurdum” változatai közötti eltérés

Ugrás a navigációhoz Ugrás a kereséshez
a
[nem ellenőrzött változat][nem ellenőrzött változat]
aNincs szerkesztési összefoglaló
* Egy kocka nem bontható fel véges sok, páronként különböző kisebb kockára. Ha ugyanis felbontható lenne, akkor az alsó lapján a legkisebb kockát véve, annak csupa önmagánál nagyobb szomszédja lenne, így a rajta lévő kocka sem lehetne nagyobb nála, ami ellentmond annak, hogy a legkisebb kockát vettük.
 
A fenti példák mind valaminek a nemlétét bizonyítják. Ha elfogadjuk a [[kizárt harmadik]] axiómáját, akkor valaminek a léte is bizonyítható hasonló módon; a [[fixponttétel]] példa egy ilyen bizonyításra. Egyes matematikai iskolák, például az [[intuicionizmus]], elvetik a [[kizárt harmadik elve| kizárt harmadik elvét]], és vele a reductio ad absurdumon alapuló [[egzisztenciabizonyítás]]okat is.
 
== Lásd még ==

Navigációs menü