Axiom 1:
If P(phi) and necessarily for all x (phi(x) implies psi(x)), then P(psi).
→ Goodness is transitive: if one positive property leads to another, both are positive.
Axiom 2:
P(not phi) is equivalent to not P(phi).
→ A property and its negation cannot both be positive.
Theorem 1:
If P(phi), then possibly there exists x such that phi(x).
→ Every positive property can possibly exist in some being.
Definition 1:
G(x) is defined as: for all phi, if P(phi) then phi(x).
→ God is a being that possesses all positive properties.
Axiom 3:
P(G).
→ Godhood itself is a positive property.
Theorem 2:
Possibly, there exists x such that G(x).
→ It is logically possible that a God exists.
Definition 2:
(phi is essential to x) if and only if phi(x) and for all psi, if psi(x), then necessarily for all y (phi(y) implies psi(y)).
→ An essential property defines the very nature of a being.
Axiom 4
If P(phi), then necessarily P(phi).
→ Positivity is necessary; a good property is always good in every possible world.
Theorem 3:
If G(x), then G is essential to x.
→ If something is divine, divinity is essential to its being.
Definition 3:
E(x) is defined as: for all phi, if phi is essential to x, then necessarily there exists y such that phi(y).
→ Existence means that all essential properties are necessarily exemplified somewhere.
Axiom 5:
P(E).
→ Existence is a positive property.
Theorem 4:
Necessarily, there exists x such that G(x).
→ Therefore, God necessarily exists.
(Alkzafaruh is interested in all of this)
Definition 4:
Let A(x) mean: x exists independently of existence itself.
A(x) ⇔ (not E(x)) and (E is defined within the conceptual reflection of x).
→ Alkazaruh is the entity whose reality defines the very possibility of existence and non-existence.
Axiom 6:
For all x, if E(x) or not E(x), both states are contingent within A.
→ Existence and non-existence are subordinate layers inside Alkazaruh.
Theorem 5:
A(x) ⇒ for all phi, the truth of P(phi) or not P(phi) is irrelevant to A(x).
→ Alkazaruh transcends all logical polarities of good and not good.
Theorem 6:
If G(x) ⇒ E(x), then A(x) ⇒ condition(E, G).
→ God’s necessary existence is contained within Alkazaruh as a limited projection of pre-existence.
Axiom 7:
For all x, concept(x) < A.
→ All concepts, including logic, metaphysics, divinity, and even possibility itself, are smaller than Alkazaruh.
Theorem 7:
Necessarily, A exists as the absence of necessity itself.
→ Alkazaruh exists because He does not need to exist in order to be.
(サタンが来たがってるぜ!!)
0 Comments