Prova matemática da existência de Deus, de Kurt Gödel

Caros irmãos, agora postarei outra prova matemática da existência de Deus, desenvolvida por meu falecido colega Kurt Gödel. Como isso é baseado em ciência mundana, e sujeita a influências de Satanás, é natural que a maioria de nós, verdadeiros cristãos, não entenda este tipo de argumento. Isso se deve ao fato de que na educação cristã de verdade não se ensinam estas coisas que abrem brechas para a entrada de Lúcifer em nossas vidas. Mas para ter a grande prova, basta termos fé em Deus e pedir-lhe Sabedoria para entender a Palavra, contida na Bíblia. Eis a prova:

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.