Axiome 1 : ( Dichotomie ) Une propriété est vraie si et seulement si sa négation est fausse.
Axiome 2 : ( Fermeture ) Une propriété est vraie si elle contient nécessairement une propriété vraie.
Théorème 1 : Une propriété vraie est logiquement consistante ( i.e. il est possible de trouver au moins un exemple ).
Définition : Quelque chose est semblable à Dieu si et seulement si il contient toutes les propriétés vraies.
Axiome 3 : Etre semblable à Dieu est une propriété vraie.
Axiome 4 : Etre une propriété vraie est (logique, donc ) nécessaire.
Définition : Une propriété P est l'essence de x si et seulement si x possède P et P est nécessairement minimale.
Théorème 2 : Si x est semblable à Dieu, alors être semblable de Dieu est l'essence de x
Définition : NE(x): x existe nécessairement s'il a une propriété essentielle.
Axiome 5 : Etre NE est être semblable à Dieu
Théorème 3 : Il existe nécessairement x tel que x est semblable à Dieu.