A PROVA MATEMÁTICA DE GÖDEL PARA A EXISTÊNCIA DE DEUS


Axioma 1. (Dicotomia) Uma propriedade é positiva se e somente se sua negação é negativa.

Axioma 2.(Fecho) Uma propriedade é positiva se ela necessarimente contém uma propriedade positiva.

Teorema 1. Uma propriedade positiva é logicamente consistente (i.e., possivelmente ela tem algum exemplo).

Definição. Alguma coisa é divina se e somente se ela possui todas as propriedades positivas.

Axioma 3. Ser divino é uma propriedade positiva.

Axioma 4. Ser alguma propriedade positiva é
(lógico, conseqüentemente) necessário.

Definição. Uma propriedade P é a essência de x se e somente se x tem P e P é necessariamente mínima.

Teorema 2. Se x é divino, então ser divino é a essência de x.

Definição. NE(x): x necessariamente existe se x tem uma propriedade essencial.

Axioma 5. Ser NE é Divino.

Teorema 3. Necessariamente existe algum x tal que x é divino.



Fonte: Cliford Pickover, A Passion for Mathematics, 2005 ''