Kurt Gödel ontológiai istenérve

Kurt Gödel, a matematikai logika koronázatlan királya, a matematika nyelvén az alábbi pár sorban bizonyította istenszerű lény szükségszerű létezését.
Ezt a rövid bizonyítást még senkinek sem sikerült megcáfolnia, de filozofikus módon már bele kötöttek, miszerint, ez nem azt jelenti, hogy a matematika bizonyította volna istenszerű lény létezését. Jó, de akkor mit bizonyított? Gödel pontosan tudta mit bizonyított, amit soha nem titkolt, és erről többször nyíltan beszélt, bár ezt a bizonyítását soha nem publikálta. Megértem, hogy ez a bizonyítás sérti egyes emberek fülét, és mivel matematikailag megcáfolni nem képesek, ezért más úton próbálják gyengítenie ennek valódi erejét.
Az "Egyetlen igaz Isten" fogalmának pontos definícióját a Názáreti Jézus adta meg és Kurt Gödel, morva származású matematikus fordította le a prédikátum logika pontos matematikai nyelvére. A Názáreti Jézus így definiálta az Atya Istent, amikor jött hozzá egy bölcs és így szólította meg Jézust:"Jó tanító.", amire Jézus így válaszolt: "Miért nevezel engem jónak? Senkise jó az Egy Istenen kívül."
Kurt Gödel tehát teljesen helyesen definiálja az Egyetlen Istent, mint olyan lényt, akinek csak pozitív, azaz jó tulajdonságai vannak és nincs egyetlen negatív tulajdonsága sem. (A magyar nyelvben a JÓISTEN megnevezést használjuk, ami hasonló gondolatot jelöl.)  Gödel ontológiai istenérve

Ennek a bizonyításnak egy pontosabb megfogalmazása az Európai mester szerint a következő: