>>11263750ax1: if having one positive property necessarily requires having other properties then those other properties are also positive.
ax2: the negation of a positive property is not a positive property.
th1: it's possible for things with positive properties to exist.
df1: x is godlike if it has all positive properties.
ax3: godlikeness is a positive property.
th2: it's possible for something godlike to exist.
df2: a property is essential if having it requires having all your other properties.
ax4: positive properties have to be positive.
th3: godlikeness is an essential property.
df3. x exists if its essences all have to exist.
ax5: existence is positive.
th4: therefore God exists.
Basically given a certain definition for 'positive property' something with all and only positive properties has to exist.
