Αξίωμα 1. (Dichotomy) Μια ιδιότητα είναι θετική εάν και μόνο εάν η άρνηση της είναι αρνητική.
Αξίωμα 2. (Closure) Μια ιδιότητα είναι θετική αν περιέχει απαραιτήτως θετική ιδιότητα.
Θεώρημα 1. Μια θετική ιδιότητα είναι λογικά συνεπής (δηλ. Πιθανώς έχει κάποια παρουσία.)
Ορισμός. Κάτι είναι Θεός αν και μόνο αν έχει όλες τις θετικές ιδιότητες.
Αξίωμα 3. Η ύπαρξη του Θεού είναι μια θετική ιδιότητα.
Αξίωμα 4. Η ύπαρξη μιας θετικής ιδιότητας είναι (λογική, επομένως) απαραίτητη.
Ορισμός. Μια ιδιότητα P είναι η ουσία του x εάν και μόνο εάν το x έχει P και P είναι απαραίτητα ελάχιστο.
Θεώρημα 2. Αν το x είναι Θεός, τότε το να είσαι Θεός είναι η ουσία του x.
Ορισμός. NE (x) σημαίνει ότι υπάρχει αναγκαστικά εάν έχει ουσιώδη ιδιότητα.
Αξίωμα 5. Η ύπαρξη NE είναι Θεός.
Θεώρημα 3. Απαραίτητο να υπάρχει κάποιο x τέτοιο ώστε το x είναι Θεός.
via