Gödel ontológiai istenérve
A Wikipédiából, a szabad lexikonból.
Ezt a szócikket át kellene olvasni, ellenőrizni a szövegét, tartalmát. További részleteket a cikk vitalapján találhatsz.
"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


Based on work by