Annahme 1 Entweder eine Eigenschaft oder ihre Negation ist positiv.
Annahme 2 Eine Eigenschaft, die notwendigerweise durch eine positive Eigenschaft impliziert wird, ist positiv.
Theorem 1 Wenn eine Eigenschaft positiv ist, so ist es möglich, dass es etwas gibt, das diese Eigenschaften besitzt (eine Instanz dieser Eigenschaft).
Definition 1 Ein Gott-artiges Wesen besitzt alle positiven Eigenschaften.
Annahme 3 Die Eigenschaft, Gott-artig zu sein, ist eine positive Eigenschaft.
Korollar Möglicherweise existiert etwas, das die Eigenschaft besitzt, Gott-artig zu sein.
Annahme 4 Wenn eine Eigenschaft eine positive ist, so ist sie das notwendigerweise.
Definition 2
Eine Eigenschaft ist eine Essenz eines Individuums, wenn
dieses Individuum die Eigenschaft aufweist (Instanz dieser Eigenschaft ist) und wenn notwendigerweise jede Eigenschaft dieses Individuums von dieser Eigenschaft impliziert wird.
Theorem 2 Gott-artig zu sein ist eine Essenz von jedem Individuum, das diese Eigenschaft besitzt.
Definition 3 Notwendige Existenz eines Individuums ist äquivalent dazu, dass alle seine Essenzen notwendigerweise mindestens eine Instanz haben.
Annahme 5 Die notwendige Existenz ist eine positive Eigenschaft.
Theorem 3 Notwendigerweise existiert Gott (ein Individuum mit der Eigenschaft Gott-artig).
