Gödel ontológiai istenérve
A Wikipédiából, a szabad lexikonból.
"A Gödel-tétel azt állítja, hogy nincs olyan konstruktív eljárás, amellyel be lehet bizonyítani, hogy egy axiómarendszer ellentmondásmentes. Lefordítva hétköznapi nyelvre: ha egy matematikai konstrukció (például a kozmológia esetleges végső nagy egyenletrendszere) levezethető, akkor lehet igaz, de nem lehet szükségszerűen (kényszerítő erővel) igaz. Az állítás nemcsak axiómarendszerekre igaz, hanem bármely nem triviális aritmetikai állítássorozatra."
[szerkesztés] Lásd még
- Descartes ontológiai istenérve
- Canterburyi Szent Anzelm istenérve