Note

Editorial note (2026-03-24). This is a point-in-time snapshot. It uses “validated,” “verified,” and similar terms in places where the author’s long-standing practice is to say “tested” or “checked” (see Not Validated but Tested for the full argument). The text is preserved as-is.

PET Axioms ax1_A1–ax14_A14#

The 14 axioms of pan-en-theistic mathematical theology, organized in 5 modular groups. Each axiom is presented with a plain-English reading, a formal statement, an explanation, and scriptural/philosophical support from six independent traditions.

This is version iv_LLoL_PPv1r1p1_2026m03d14 — the strengthened formulation with ax11_A11 lines 3–4 and reformulated ax12_A12–ax14_A14.

For the symbol dictionary, see PET Symbol Dictionary. For derived theorems, see PET Theorems. For caveats and open questions, see PET Axioms — Discussions and Caveats.

Formal Framework#

Mereology (part-whole logic) combined with modal logic S5 (necessity/possibility). Panentheism’s core claim is about a containment relation (“all is in God, but God exceeds all”), making mereology the natural foundation. S5 provides the modal operators for reasoning about what is necessary vs. contingent.

Group I — Mereological Core#

These axioms encode the distinctive panentheistic claim and distinguish it from both pantheism (\(G = W\)) and classical theism (which denies ax1_A1).

ax1_A1 — Containment#

The world is part of God.

In plain English: Everything that exists in the created world is contained within God. The world exists inside God, not separate from God.

Formal statement:

\[W \leq G\]

Explanation: The mereological parthood relation \(\leq\) asserts that W is a part of G. This is the foundational panentheistic claim — the “en” (in) of pan-en-theism. Combined with ax2_A2, it means God strictly exceeds the world (\(W < G\), proper parthood).

Scriptural and philosophical support:

  • Torah: Deut 4:39 (“God in heaven above and earth beneath”)

  • Prophets & Writings: 1 Kings 8:27 (“heaven cannot contain you”); Ein Sof (“the Infinite”) in Kabbalah

  • Gospel (Jesus): “I am in the Father and the Father is in me” (Jn 14:10); “the kingdom of God is within you” (Lk 17:21)

  • Christian (wider): Acts 17:28 (“in him we live and move”); Col 1:17

  • Islamic: Quran 2:115 (“wherever you turn, there is the Face of God”); wahdat al-wujud (“unity of existence” — all being is in God)

  • Hindu: “All this is Brahman” (Chandogya Up. 3.14.1); Vishishtadvaita: world is God’s body

  • Secular: We are parts of a whole that exceeds any part

ax2_A2 — Transcendence#

God is not part of the world.

In plain English: While the world is in God, God is not reducible to the world. God exceeds creation — you cannot capture all of God by examining all of the world.

Formal statement:

\[G \nleq W\]

Explanation: Together with ax1_A1, this yields \(W < G\) (proper parthood): God strictly exceeds the world. This single axiom pair (ax1_A1 + ax2_A2) is what distinguishes panentheism from pantheism (which asserts \(G = W\)).

Scriptural and philosophical support:

  • Torah: Exod 33:20 (“you cannot see my face and live”); Deut 4:15 (“you saw no form”)

  • Prophets & Writings: 1 Kings 8:27 (“cannot contain”); Isa 55:8–9 (“my ways higher than your ways”)

  • Gospel (Jesus): “The Father is greater than I” (Jn 14:28); “My Father’s house has many rooms” (Jn 14:2)

  • Christian (wider): Eph 4:6 (“above all”)

  • Islamic: Quran 57:3 (al-Zahir = “the Manifest/Outward”); tanzih (“beyond comparison” — core Islamic transcendence)

  • Hindu: Neti neti — “not this, not this” (Brihad. Up. 2.3.6): Brahman exceeds all description

  • Secular: The universe exceeds any observer’s complete knowledge

ax3_A3 — Divine Surplus#

There is something in God that is not in the world.

In plain English: God’s transcendence is not merely formal — God has actual content beyond the created world. There are aspects of God that no examination of the world alone could reveal.

Formal statement:

\[\exists x\;(x \leq G \;\wedge\; \neg(x \leq W))\]

Explanation: This strengthens ax2_A2. Without ax3_A3, ax1_A1 + ax2_A2 could be satisfied trivially. ax3_A3 asserts there is genuine divine content beyond creation.

Scriptural and philosophical support:

  • Torah: Exod 33:18–23 (Moses sees God’s “back” but not face — aspects beyond creation’s access); Deut 29:29 (“the secret things belong to the LORD”)

  • Prophets & Writings: Job 11:7–9 (“can you fathom the mysteries of God?”); Isa 40:28 (“his understanding no one can fathom”)

  • Gospel (Jesus): “No one knows the Father except the Son” (Mt 11:27); “I have much more to say to you, more than you can now bear” (Jn 16:12)

  • Christian (wider): 1 Cor 2:9 (“no eye has seen, no ear has heard what God has prepared”); Rom 11:33 (“how unsearchable his judgments”)

  • Islamic: Quran 31:27 (“if all trees were pens and the ocean ink, God’s words would not be exhausted”) — God’s content exceeds all creation

  • Hindu: Gita 10:40–42 (“there is no end to my divine manifestations… I support this cosmos with a mere fragment of Myself”)

  • Secular: Observable reality may be a fraction of total reality; mathematical structures exist beyond physical instantiation

ax4_A4 — Universal Immanence#

Every part of the world is in God.

In plain English: There is no part of creation that is “outside” God. Every atom, every person, every corner of the universe — all are within God. This is the pan (all) of pan-en-theism.

Formal statement:

\[\forall x\;(x \leq W \;\rightarrow\; x \leq G)\]

Explanation: This follows trivially from ax1_A1 by transitivity of \(\leq\), but it is stated explicitly because it carries theological weight. It is the universally quantified version of ax1_A1: not just the world as a whole, but every individual part.

Scriptural and philosophical support:

  • Torah: Deut 4:39 (“in heaven above and on earth beneath — there is no other”); Gen 28:16 (Jacob: “God is in this place and I did not know”)

  • Prophets & Writings: Ps 139:7–10 (“where can I flee?”); Jer 23:24 (“do I not fill heaven and earth?”)

  • Gospel (Jesus): “I am with you always, to the end of the age” (Mt 28:20)

  • Christian (wider): Eph 4:6 (“in all”)

  • Islamic: Quran 57:4 (“He is with you wherever you are”); 50:16 (“closer than the jugular vein”)

  • Hindu: Tat tvam asi — “Thou art That” (Chandogya Up. 6.8.7): the divine is in everything

  • Secular: Every part of nature is subject to the same fundamental laws

Group II — Modal Axioms#

These axioms use modal logic to distinguish between what is necessary (true in every possible world) and what is contingent (true in some worlds but not others).

ax5_A5 — Necessary Divine Existence#

God necessarily exists.

In plain English: In every possible scenario, in every conceivable way reality could be arranged, God exists and is unique. God’s existence is not an accident — it could not have been otherwise.

Formal statement:

\[\Box\;\exists!\,G\]

Explanation: The \(\Box\) (necessarily) operator combined with \(\exists!\) (there exists exactly one) asserts that God’s existence is a necessary truth, not a contingent fact.

Scriptural and philosophical support:

  • Torah: Exod 3:14 (“I AM WHO I AM” — Ehyeh asher Ehyeh)

  • Prophets & Writings: Ps 90:2 (“from everlasting to everlasting, you are God”)

  • Gospel (Jesus): “Before Abraham was, I AM” (Jn 8:58)

  • Christian (wider): Rev 1:8 (“who is and was and is to come”)

  • Islamic: Quran 28:88 (“everything will perish except His Face” — only God is permanent)

  • Hindu: Brahman is Sat (Being itself) — existence is Brahman’s essential nature

  • Secular: Something exists necessarily (laws of logic cannot not-hold)

ax6_A6 — Contingency of the World#

The world’s existence is contingent — it might or might not exist.

In plain English: Unlike God, the world did not have to exist. There are possible scenarios with no created world at all, and possible scenarios with one. Creation is a contingent fact, not a necessary truth.

Formal statement:

\[\Diamond\;\exists W \;\wedge\; \Diamond\;\neg\exists W\]

Explanation: Both \(\Diamond\;\exists W\) (a world is possible) and \(\Diamond\;\neg\exists W\) (no world is possible) are asserted. This makes the world’s existence genuinely contingent.

Scriptural and philosophical support:

  • Torah: Gen 1:1 (“In the beginning God created” — creation is a contingent act; before it, no world)

  • Prophets & Writings: Ps 90:2 (“before the mountains were born” — God predates the world); Ps 102:25–26 (“they will perish, but you remain”)

  • Gospel (Jesus): “Heaven and earth will pass away, but my words will not” (Mk 13:31); “the glory I had with you before the world began” (Jn 17:5)

  • Christian (wider): Heb 1:10–12 (“they will perish… you roll them up like a garment”); Rev 21:1 (“first heaven and earth had passed away”)

  • Islamic: Quran 21:104 (“We will fold the heaven like the folding of a scroll”); 14:48 (“the earth will be replaced by another earth”)

  • Hindu: Cyclic creation/destruction in kalpas: Gita 8:17–19 (“when Brahma’s day dawns, all come forth; when his night falls, they dissolve”)

  • Secular: The universe began (Big Bang) and may end (heat death); physical constants could in principle have been different

ax7_A7 — Necessary Containment#

If any world exists, it is necessarily in God.

In plain English: The containment of the world in God is not accidental. In every possible scenario where creation exists, creation is within God. There is no possible form of creation that is external to God.

Formal statement:

\[\Box\;(\exists W \;\rightarrow\; W \leq G)\]

Explanation: This modalizes ax1_A1. ax1_A1 says the world is in God; ax7_A7 says it must be in God — there is no possible world where creation exists outside of God. This is a strong panentheistic commitment.

Scriptural and philosophical support:

  • Torah: Gen 1:1 + Deut 4:39 together: God created all, there is no other — any world must be within God’s domain

  • Prophets & Writings: Isa 66:1 (“heaven is my throne, earth my footstool” — wherever creation is, it is within God)

  • Gospel (Jesus): “All things were made through him, and without him nothing was made” (Jn 1:3) — any possible creation goes through God

  • Christian (wider): Acts 17:28 (stated as universal principle); Col 1:16 (“all things created through him and for him”)

  • Islamic: Quran 39:67 (“the whole earth will be in His grip”) — even eschatologically, creation is in God’s hand

  • Hindu: Gita 9:4 (“By Me, in My unmanifested form, this entire universe is pervaded”)

  • Secular: Any subsystem is necessarily embedded in its containing system

Group III — Relational Axioms#

These go beyond mereological containment to assert that God does not merely contain the world but is actively present to and sustains it.

ax8_A8 — Immanent Presence#

God is present to every part of the world.

In plain English: It is not enough that the world is inside God. A box contains its contents without being aware of them. ax8_A8 asserts that God is intimately present to — aware of, in contact with — every single part of creation. This rules out deistic panentheism (God contains but ignores).

Formal statement:

\[\forall x\;(x \leq W \;\rightarrow\; P(G,\, x))\]

Scriptural and philosophical support:

  • Torah: Exod 3:2–5 (burning bush — God present in ordinary matter); Deut 31:6 (“He will never leave you nor forsake you”)

  • Prophets & Writings: Ps 139:7–10 (“where can I flee from your presence?”); Isa 57:15 (“I dwell in the high and holy place AND ALSO with the humble”); leit atar panuy (“no place is devoid of Him” — Hasidic maxim)

  • Gospel (Jesus): “Whatever you did for the least of these, you did for me” (Mt 25:40); “where two or three gather, there am I” (Mt 18:20)

  • Christian (wider): Col 1:17 (“in him all things hold together”); essence–energies doctrine (Gregory Palamas, 14th c.)

  • Islamic: Quran 50:16 (“closer than the jugular vein”); 57:4 (“with you wherever you are”)

  • Hindu: “The Lord dwells in the hearts of all beings” (Gita 18:61); “I am the Self in the hearts of all creatures” (Gita 10:20)

  • Secular: Natural law operates everywhere without exception

ax9_A9 — Sustaining Dependence#

If the world exists, God sustains it.

In plain English: The world does not keep itself in existence. Its continued existence depends on God’s active sustaining. If God withdrew sustaining, the world would cease to exist.

Formal statement:

\[\Box\;(\exists W \;\rightarrow\; S(G,\, W))\]

Scriptural and philosophical support:

  • Torah: Deut 8:3 (“man lives by every word from God’s mouth”); Gen 2:7 (God breathes life into being)

  • Prophets & Writings: Neh 9:6 (“you preserve them all”)

  • Gospel (Jesus): “Apart from me you can do nothing” (Jn 15:5)

  • Christian (wider): Col 1:17; Heb 1:3 (“sustains all things by his powerful word”)

  • Islamic: Quran 35:41 (“God holds the heavens and earth lest they cease”)

  • Hindu: “I support the entire cosmos with a mere fragment of Myself” (Gita 10:42)

  • Secular: Continued existence of structures depends on underlying processes (conservation laws)

ax10_A10 — Asymmetric Dependence#

The world does not sustain God.

In plain English: The dependence runs strictly one way. God sustains the world (ax9_A9), but the world does not sustain God. God’s existence does not depend on the world in any way.

Formal statement:

\[\neg\, S(W,\, G)\]

Explanation: Together with ax9_A9, this encodes a strict ontological asymmetry. God can exist without the world (th2_T2); the world cannot exist without God. This distinguishes PET from process-theology variants where God genuinely needs the world.

Scriptural and philosophical support:

  • Torah: Exod 19:5 (“the whole earth is mine”); Gen 1:1 — God existed before creation, needing nothing

  • Prophets & Writings: Ps 50:10–12 (“every animal is mine… if I were hungry I would not tell you”); Isa 40:17 (“nations are as nothing before him”)

  • Gospel (Jesus): “My kingdom is not of this world” (Jn 18:36); “Do you think I cannot call on my Father for twelve legions of angels?” (Mt 26:53)

  • Christian (wider): Acts 17:25 (“not served by human hands, as if he needed anything, since he himself gives everyone life”)

  • Islamic: Quran 29:6 + 35:15 (al-Ghani = “the Self-Sufficient” — “you are in need of God; God is free of need”)

  • Hindu: Gita 9:4–5 (“All beings exist in Me, but I do not dwell in them; My Self sustains all beings”)

  • Secular: Fundamental laws don’t depend on what they govern

Group IV — Divine Nature#

ax11_A11 — Divine Structure (Dipolarity)#

God has both an unchanging nature and a world-responsive experience.

In plain English: God has two aspects. One aspect (the necessary divine nature, \(G_n\)) never changes — it is the same in every possible scenario. The other aspect (the contingent divine experience, \(G_c\)) varies depending on what happens in the world. God’s experience of a world with suffering differs from God’s experience of a world without it, even though the essential divine nature remains constant.

Formal statement (strengthened, 4 lines):

  1. \(G = G_n \oplus G_c\) — God is the union of both aspects

  2. \(\Box\;\exists\, G_n\) — the necessary divine nature exists in every possible world

  3. \(G_c = \bigoplus\{G_c(w_i) \mid w_i \leq W\}\) — the contingent aspect is composed of subworld-indexed experiences

  4. \(\forall w_1, w_2 \leq W : w_1 \neq w_2 \rightarrow G_c(w_1) \neq G_c(w_2)\) — distinct subworlds yield distinct divine experiences

Lines 3–4 were added (2026-03-14/15) to give \(G_c\) internal structure, making theorem th4_T4 (Divine Experience Varies) formally derivable.

Scriptural and philosophical support:

  • Torah: Necessary: Exod 3:14 (“I AM” — eternal, unchanging). Contingent: Exod 32:14 (“the LORD relented”); Gen 6:6 (“the LORD regretted… his heart was deeply troubled”)

  • Prophets & Writings: Necessary: Mal 3:6 (“I the LORD do not change”). Contingent: Jer 18:7–10 (God changes plans based on nations’ behavior); Hosea 11:8 (“my heart is changed within me; all my compassion is aroused”)

  • Gospel (Jesus): Necessary: “Before Abraham was, I AM” (Jn 8:58). Contingent: “Jesus wept” (Jn 11:35); Lk 15:7 (“more rejoicing in heaven over one sinner who repents”)

  • Christian (wider): Necessary: Heb 13:8 (“Jesus Christ the same yesterday, today, forever”). Contingent: Phil 2:7 (“emptied himself, taking the form of a servant”)

  • Islamic: Necessary: Quran 57:3 (“the First and the Last”). Contingent: 2:186 (“I respond to the supplicant when he calls” — al-Mujib = “the Responsive”). The 99 names include both transcendent (al-Quddus = “the Holy”) and relational (ar-Rahman = “the Merciful”)

  • Hindu: The most explicit tradition. Nirguna Brahman (without qualities — necessary aspect) and saguna Brahman / Ishvara (with qualities — contingent, relational aspect). This is literally the same concept as dipolarity.

  • Secular: Fundamental laws are invariant (necessary), but their manifestation varies with initial conditions (contingent)

Alternative — ax11b_A11b (Divine Simplicity):

G has no proper parts that are independent of each other.

ax11b_A11b is the classical theism alternative. It sits in tension with ax1_A1 + ax3_A3. See PET Axioms — Discussions and Caveats for analysis of the ax11_A11/ax11b_A11b fork.

Group V — Revelation Bridge#

These axioms are optional extensions that bridge from philosophical theology to revealed theology. They define a rigorous methodology for incorporating scriptural claims into the formal system.

ax12_A12 — Revelation Reliability#

God’s self-knowledge is true.

In plain English: R is defined as the set of true propositions about God — God’s own self-knowledge. Since R consists of true propositions by definition, ax12_A12 is tautological by design. This is deliberate: the substantive work of testing claims shifts to ax14_A14 (Revelation Claims Test).

Formal statement:

Let \(R = \{p \mid p \text{ is true about } G\}\). For all \(p \in R\): \(p\) is true.

Scriptural and philosophical support:

  • Torah: Num 23:19 (“God is not a man that he should lie”); Deut 18:22 (test of true prophecy — God’s actual words are reliable)

  • Prophets & Writings: Ps 119:160 (“all your words are true”); Isa 55:11 (“my word will not return to me empty”)

  • Gospel (Jesus): “Your word is truth” (Jn 17:17); “Heaven and earth will pass away, but my words will not” (Mk 13:31); “I am the way, the truth, and the life” (Jn 14:6)

  • Christian (wider): 2 Tim 3:16 (“all Scripture is God-breathed”); Heb 6:18 (“it is impossible for God to lie”)

  • Islamic: Quran 4:122 (“who is more truthful than God in statement?”); 10:94 (the Quran confirms previous scriptures)

  • Hindu: The Vedas are apaurusheya (not of human origin) — self-evident truth; Gita 4:1–3 (Krishna reveals ancient eternal yoga)

  • Secular: Self-knowledge (accurate self-model) is definitionally true when the model matches reality — tautological by design

ax13_A13 — Consistency of Revelation#

God’s self-knowledge contains no contradictions.

In plain English: The true propositions about God are mutually consistent. You cannot derive a contradiction from what is genuinely true about God. If two claims appear to contradict each other, at least one of them is not actually in R (not actually true about God).

Formal statement:

\[\neg\exists\;\text{contradiction within } R\]

Scriptural and philosophical support:

  • Torah: Deut 32:4 (“He is the Rock, his works are perfect… faithful God who does no wrong”) — perfection implies no contradiction

  • Prophets & Writings: Ps 18:30 (“God’s way is perfect; the LORD’s word is flawless”)

  • Gospel (Jesus): “A house divided against itself cannot stand” (Mk 3:25) — applied to God’s kingdom, implies internal consistency; “Scripture cannot be broken” (Jn 10:35)

  • Christian (wider): 1 Cor 14:33 (“God is not a God of disorder/confusion”); Jas 1:17 (“no variation or shadow due to change”)

  • Islamic: Quran 4:82 (“If it had been from other than God, they would have found within it much contradiction”) — the key verse: internal consistency as proof of divine origin

  • Hindu: Brahman is sat-chit-ananda (being-consciousness-bliss) — perfect unity implies no contradiction; Vedas considered internally harmonious

  • Secular: Any consistent framework must be free of internal contradiction (Hilbert’s program); logical consistency is the minimum standard

ax14_A14 — Revelation Claims Test#

Human claims about divine revelation must be mutually consistent and consistent with ax1_A1–ax13_A13.

In plain English: This is the most powerful and practical axiom. It provides a formal method for testing whether a proposition that someone claims is divinely revealed actually passes two consistency checks: (1) it must not contradict any other claimed revelation, and (2) it must not contradict axioms ax1_A1–ax13_A13.

Formal statement (reformulated, 2 lines):

  1. \(\forall p, q : \text{claim}(p) \wedge \text{claim}(q) \rightarrow \neg(p \wedge q \rightarrow \text{contradiction})\)

  2. \(\forall p : \text{claim}(p) \rightarrow \neg\exists q \in \{A1\text{–}A13\} : (p \wedge q \rightarrow \text{contradiction})\)

Key design features:

  • No self-reference: ax14_A14 references ax1_A1–ax13_A13, not ax1_A1–ax14_A14. This avoids the circularity of a test that tests itself.

  • The claim(p) predicate: Distinguishes between God’s actual self-knowledge (R, which is true by ax12_A12) and human claims about what is in R. Humans can be wrong about what God has revealed; ax14_A14 provides a method for detecting such errors.

  • Testable method: Given two traditions that make conflicting claims, ax14_A14 asks: can both claims be true simultaneously without contradiction? If not, at least one claim is not genuinely divine. This pinpoints where traditions actually disagree vs. where they merely think they disagree.

Scriptural and philosophical support:

  • Torah: Deut 13:1–3 (even a sign-working prophet must be tested against known truth); Deut 18:21–22 (“if what a prophet proclaims does not take place, that is a message the LORD has not spoken”)

  • Prophets & Writings: 1 Kings 22:19–23 (Micaiah vs. 400 false prophets — conflicting claims must be tested); Isa 8:20 (“to the law and the testimony! If they do not speak according to this word, they have no light”)

  • Gospel (Jesus): “By their fruits you shall know them” (Mt 7:16–20); “Beware of false prophets” (Mt 7:15); “Many will come in my name… do not believe them” (Mk 13:5–6)

  • Christian (wider): 1 Thess 5:21 (“test everything; hold fast what is good”); 1 Jn 4:1 (“test the spirits”); Gal 1:8 (“even if an angel preaches a different gospel, let them be accursed”)

  • Islamic: Quran 4:82 (test for contradiction as proof of origin); 2:111 (“produce your proof if you are truthful”); 17:81 (“truth has come and falsehood has departed”)

  • Hindu: Nyaya school: pramana (valid means of knowledge) must be tested; Gita 4:34 (“inquire… the wise who have seen truth will instruct you”)

  • Secular: Falsifiability (Popper); peer review; the scientific method IS a claims test — any claim must withstand scrutiny against established knowledge

Group VI — Agency & Delegation#

Note

Group VI is proposed and in development. Axioms ax15_A15–ax25_A25 have not undergone the same iterative poster-review process as ax1_A1–ax14_A14 (iv_LLoL_PPv1r1p1). Cross-tradition support is compiled but not yet independently verified to the same standard.

These axioms extend the system to formally address the innovation theodicy: why God is not responsible for the evil that results from human failure to innovate toward the flourishing of others. They introduce human agency, delegation, non-coercive guidance, and the economic structures needed for lasting innovation.

Domain definitions: Three domains partition the space of human action:

  • D_f (forced domain): choices constrained by physics, coercion, or circumstance. Not subject to moral evaluation in the innovation theodicy.

  • D_free (free domain): choices where humans possess genuine capacity to select among alternatives. The domain of moral responsibility.

  • D_inno (innovation subdomain, D_inno \(\subseteq\) D_free): the critical subset where novel solutions, creative acts, and innovation occur.

For the narrative account of how these axioms work together, see The Innovation Theodicy: Why God Is Not Responsible for Human Innovation Failure.

ax15_A15 — Human Genuine Agency#

Humans possess real capacity to choose among alternatives within D_free.

In plain English: Within a defined domain of free choices, humans can genuinely select among at least two alternatives. This is not a polite fiction — it is the load-bearing axiom of the entire theodicy. Denial is performatively self-refuting: the act of denying one’s agency is itself an exercise of agency. Agency scales with epistemic freedom (the Plato’s cave metric): the more a person understands about their situation, the more genuinely free their choices become.

Formal statement:

\[\forall h \in H,\; \forall s \in D_{\text{free}} : \exists a_1 \neq a_2 \;\text{such that}\; \text{can-choose}(h, a_1, s) \;\wedge\; \text{can-choose}(h, a_2, s)\]

Explanation: D_f is explicitly excluded — humans are not free in the forced domain. The innovation subdomain D_inno (a subset of D_free) is where the critical theodicy question concentrates: whether to pursue innovation toward the flourishing of others when the capacity to do so exists.

Scriptural and philosophical support:

  • Torah: Gen 2:16–17 (tree of knowledge choice); Deut 30:19 (“I have set before you life and death… choose life”)

  • Prophets & Writings: Josh 24:15 (“choose this day whom you will serve”)

  • Gospel (Jesus): Mt 23:37 (“Jerusalem, Jerusalem… how often I would have gathered your children… and you were not willing”)

  • Christian (wider): Free will as foundational doctrine (Augustine, Aquinas); Catechism of the Catholic Church §1730–1748

  • Islamic: Quran 2:256 (“no compulsion in religion”); 18:29 (“let him who will, believe; and let him who will, reject”)

  • Hindu: Bhagavad Gita 18:63 (“reflect on this fully, then do as you choose”)

  • Secular: Libertarian free will debate; compatibilism; legal responsibility frameworks presupposing genuine choice

ax16_A16 — Delegation of Dominion#

God has granted humans governance authority over the Earth; humans are the primary responsible agents for outcomes within the delegated domain.

In plain English: God did not merely create humans and place them in the world — God entrusted them with genuine authority over it. This delegation is real, not nominal: God does not routinely override human decisions within D_free/D_inno. The chain-of-command objection (that a delegator remains responsible for the delegate’s failures) is resolved by ax15_A15: chain-of-command theory models subordinates as instruments, but ax15_A15 asserts humans are genuine agents, not instruments.

Formal statement:

\[\text{Delegated}(G, H, W_{\text{earth}}) \;\wedge\; \forall\, \text{outcome}\; o \;\text{in}\; W_{\text{earth}} : \text{PrimaryResponsible}(H, o)\]

Explanation: Together with ax15_A15, this resolves the “puppet-master” objection. If humans were instruments (puppets), ax16_A16 would not transfer responsibility. But because humans are genuine agents (ax15_A15), delegation transfers primary responsibility to the delegate.

Scriptural and philosophical support:

  • Torah: Gen 1:28 (dominion mandate); Gen 2:15 (stewardship of Eden)

  • Prophets & Writings: Ps 8:6 (“You made them rulers over the works of your hands”)

  • Gospel (Jesus): Mt 25:14–30 (parable of the talents — genuine delegation with accountability)

  • Christian (wider): Stewardship theology; Second Vatican Council (Gaudium et Spes §34)

  • Islamic: Quran 2:30 (khalifah — vicegerent/steward on Earth)

  • Hindu: Dharmic responsibility for one’s actions (karma)

  • Secular: Democratic governance theory; principal-agent frameworks; fiduciary duty

ax17_A17 — Non-Coercive Guidance#

God guides (but does not force) humans within D_free and D_inno.

In plain English: God provides guidance — invitations, hints, opportunities, the “still small voice” — but does not compel. The non-coercion is a principled choice (explained by ax22_A22), not a power limitation. God has the power to compel (ax3_A3 + ax5_A5) but chooses not to, because compelled care produces a qualitatively inferior outcome (ax23_A23). The “horse to water” image: God leads the horse to water; the horse must drink.

Formal statement:

\[\forall h \in H : \text{Guide}(G, h) \;\wedge\; \neg\text{Force}(G, h) \quad [\text{within } D_{\text{free}} \text{ and } D_{\text{inno}}]\]

Explanation: ax17_A17 is scoped specifically to D_free/D_inno. Within D_f (the forced domain), God maintains physics — this is a precondition for agency (ax15_A15 requires a stable physical substrate), not a form of guidance or coercion. The domain split resolves the objection that God is responsible for physics-based harm: physics operates in D_f, not D_free (see th10_T10).

Scriptural and philosophical support:

  • Torah: Gen 4:7 (God warns Cain — “sin is crouching at your door” — but does not prevent the murder)

  • Prophets & Writings: 1 Kings 19:12 (still small voice); Isa 30:21 (“this is the way, walk in it”)

  • Gospel (Jesus): Jn 16:13 (Spirit “will guide you into all truth”); Mt 7:7 (“seek and you will find”)

  • Christian (wider): Prevenient grace (Wesley); general revelation (Calvin); Ignatian discernment

  • Islamic: Quran 2:256 (“no compulsion in religion”); hidayah (guidance) as a divine attribute

  • Hindu: Krishna as charioteer and advisor to Arjuna in the Bhagavad Gita, not commander

  • Secular: Libertarian paternalism (“nudge” theory, Thaler & Sunstein 2008); coaching vs. commanding

ax18_A18 — Responsibility Localization#

When a being with genuine agency has been delegated authority over a domain and has access to guidance, moral responsibility for outcomes in that domain rests primarily with that being, not the delegator.

In plain English: This axiom is the formal core of the innovation theodicy. Given that humans have genuine agency (ax15_A15), have been delegated authority (ax16_A16), receive non-coercive guidance (ax17_A17), and are not forced (ax17_A17), responsibility for outcomes in the delegated domain rests with the human agents. God is not responsible for outcomes that result from human choices within D_inno.

Formal statement:

\[\text{Delegated}(G,H,D) \;\wedge\; \text{Agency}(H) \;\wedge\; \text{Guide}(G,H) \;\wedge\; \neg\text{Force}(G,H) \;\rightarrow\; \text{Responsible}(H, \text{outcomes in } D) \;\wedge\; \neg\text{Responsible}(G, \text{outcomes in } D)\]

Explanation: This may be a theorem rather than an axiom, pending formal grounding of the moral responsibility predicate. If the responsibility predicate can be derived from ax15_A15–ax17_A17, ax18_A18 becomes redundant as an axiom. It is stated explicitly for clarity: the four premises mechanically produce the theodicy conclusion.

Scriptural and philosophical support:

  • Torah: Deut 24:16 (“each shall die for their own sin”); Ezek 18:20 (“the soul who sins is the one who will die”)

  • Prophets & Writings: Ezek 18:1–32 (individual responsibility doctrine, replacing the “sour grapes” proverb)

  • Gospel (Jesus): Mt 25:31–46 (judgment based on individual action — “whatever you did for the least of these”)

  • Christian (wider): Personal accountability before God; Catechism §1868

  • Islamic: Quran 33:72 (amanah — the trust offered to heavens and earth but accepted by humanity; responsibility follows voluntary undertaking); 6:164 (“no bearer of burdens shall bear another’s burden”)

  • Hindu: Karma as personal causal responsibility — each person’s actions determine their own outcomes

  • Secular: Legal liability frameworks; tort law (proximate vs. ultimate cause); Nuremberg principle (obedience to orders does not absolve responsibility)

ax19_A19 — Probabilistic Causal Concentration (Leviathan Chain)#

At any time t, there exists a unique individual h with strictly maximal causal influence over outcomes in D.*

In plain English: At any given moment, one person’s choices have more causal influence on the future trajectory of the world than anyone else’s. This person (h*) stands at the top of the “leviathan chain” — the hierarchy of causal influence over Earth’s future.

Formal statement:

\[\forall t\; \exists!\, h^* \in H : \text{MaxCausalInfluence}(h^*, t, W_{\text{future}}) \;\wedge\; \forall h \neq h^* : \text{CausalInfluence}(h, t, W_{\text{future}}) < \text{CausalInfluence}(h^*, t, W_{\text{future}})\]

Explanation: The uniqueness claim is the null hypothesis. Exact equivalence in effect (two people whose choices produce identical probability distributions over all future outcomes) is a measure-zero event in any realistic causal network. The burden of proof lies with any challenger claiming exact equivalence. Invisible innovation capacity (combinatorial epistemic reach — seeing what others cannot) produces more divergence than visible network power, making uniqueness even more robust in D_inno than in the political or military domain.

What ax19_A19 does NOT claim:

  • That h* knows they are h* (Judas did not know the full consequence of his action)

  • How long h* remains h* (the Peter/Judas transition shows rapid shift)

  • That h* holds visible power (invisible innovation capacity likely shows less near-equality than visible network position)

Scriptural and philosophical support:

  • Torah: Gen 18:22–33 (Abraham negotiating for Sodom — singular pivotal action); Exod 32:9–14 (Moses’s intercession changes the fate of millions)

  • Prophets & Writings: Esth 4:14 (“for such a time as this”); Isa 6:8 (“here am I, send me”)

  • Gospel (Jesus): Mt 16:18–19 (Peter as foundation); Jn 13:27 (Judas at the pivot point)

  • Christian (wider): Vocation theology; kairos moments

  • Islamic: Quran 3:110 (“best nation raised up for mankind”); individual prophetic moments of maximal causal weight

  • Hindu: Dharmic duty at the decisive moment — Arjuna at Kurukshetra (Gita 2:31–38)

  • Secular: Great man theory (Carlyle); network centrality in social science; power-law distributions in social influence

ax20_A20 — Transient Volunteer#

God seeks humans who will voluntarily accept specific D_inno responsibilities at specific moments.

In plain English: At each critical moment, God is actively looking for a human willing to step into a specific innovation responsibility. The emphasis is on voluntarily — consistent with ax17_A17 (non-coercion) and ax22_A22 (divine preference for genuine love). “Transient” because the call is moment-specific, not permanent (contrast ax21_A21).

Formal statement:

\[\exists\; \text{voluntary-invitation from } G \text{ to } H_{\text{candidates}} \text{ at each } t,\; \text{seeking } h \in H : \text{Willing}(h) \;\wedge\; \text{Accepts}(h, \text{Responsible}(h, D_{\text{inno}}, t))\]

Explanation: Multiple transient volunteers may be sought simultaneously for different D_inno responsibilities. The burning bush pattern (Exod 3:3–10) is the archetype: God presents an opportunity (the bush burns), the human turns aside (Moses’s agency), and the call follows the voluntary attention.

Scriptural and philosophical support:

  • Torah: Exod 3:4–10 (Moses at the burning bush — called, not conscripted)

  • Prophets & Writings: Isa 6:8 (“Whom shall I send?”); Jonah (reluctant volunteer — showing the cost of refusing ax20_A20)

  • Gospel (Jesus): Mk 1:17 (“Follow me” — invitation, not command)

  • Christian (wider): Calling/vocation theology (Luther, Calvin)

  • Islamic: Prophetic calling (nubuwwah) as divine invitation accepted by the prophet

  • Hindu: Divine assignments in the Mahabharata and Ramayana

  • Secular: Whistleblower moments; moral exemplars who step forward at critical junctures (Bonhoeffer, Mandela)

ax21_A21 — Permanent Mediator#

God seeks one human willing to permanently translate between God’s optimal solutions and humanity’s current understanding.

In plain English: Beyond the moment-specific calls of ax20_A20, God seeks one person willing to permanently accept the role of translating between what God knows is optimal and what humanity currently understands. The output quality of this translation depends on it being freely chosen — a compelled translator cannot produce genuine translation. The mediator must be willing to go first (epistemic reach: understanding before others) while willing to go last (servant role: Mk 10:45).

Formal statement:

\[\exists\; \text{voluntary-invitation from } G \text{ seeking } h \in H : \text{Willing}(h) \;\wedge\; \text{Permanent}(h, \text{TranslatorRole}(G, H, W_{\text{future}})) \;\wedge\; \text{OutputQuality depends on } \neg\text{Force}(G, h)\]

Explanation: ax21_A21 is the individual permanent analog of Quran 33:72, which establishes the species-level acceptance of the trust (amanah). ax20_A20 handles transient individual calls; ax21_A21 handles the permanent mediation role. From God’s perspective (ax5_A5, outside time), the permanent mediator role is singular; from the human perspective it may be filled sequentially or partially.

Scriptural and philosophical support:

  • Torah: Exod 20:19 (Moses as mediator between God and people); Deut 18:15–18 (prophet like Moses to come)

  • Prophets & Writings: Isa 53 (suffering servant as permanent mediator); Mal 3:1 (messenger of the covenant)

  • Gospel (Jesus): Mk 10:45 (“Son of Man came not to be served but to serve”); Jn 14:6 (“I am the way”); Heb 8:6 (mediator of a better covenant)

  • Christian (wider): Christology; ongoing prophetic tradition; the permanent high priest (Heb 7:24)

  • Islamic: Quran 33:72 (amanah); Muhammad as seal of prophets (Quran 33:40)

  • Hindu: Avatar concept — divine descent to mediate between the divine and the human

  • Secular: Public intellectual; systems translator; interdisciplinary bridge-builder who makes complex knowledge accessible

ax22_A22 — Divine Preference for Genuine Love#

God’s necessary nature (Gn) includes a valuation ranking Gc states arising from freely-chosen care above those from forced compliance.

In plain English: God values genuine, freely-chosen love above compelled obedience. This is not merely a preference — it is part of God’s necessary nature (Gn). It explains why God uses non-coercive guidance (ax17_A17) when having the power to compel: compelled care produces a qualitatively different divine experience (Gc) that the necessary divine nature (Gn) values less. Forced love is not love, and God knows the difference.

Formal statement:

\[ \begin{align}\begin{aligned}\forall w_1, w_2 \leq W \;\text{where}\; w_1 = \text{freely-chosen-care},\; w_2 = \text{forced-compliance},\; \text{physical}(w_1) = \text{physical}(w_2) :\\G_n\text{-valuation}(G_c(w_1)) > G_n\text{-valuation}(G_c(w_2))\end{aligned}\end{align} \]

Explanation: This axiom connects to the ax11_A11 dipolar structure. Gc (God’s contingent experience) is affected by the quality of human response — freely-chosen love produces a qualitatively different Gc state than forced compliance, even when the physical actions are identical. Gn (God’s necessary nature) includes the capacity to recognize and value this difference.

Scriptural and philosophical support:

  • Torah: Deut 6:5 (“love the LORD your God with all your heart” — commanded but cannot be compelled; love by its nature must be free)

  • Prophets & Writings: Ps 22:24 (“he has not despised or scorned the suffering of the afflicted one; he has not hidden his face from him but has listened to his cry”); Hos 6:6 (“I desire mercy, not sacrifice”)

  • Gospel (Jesus): 1 Jn 4:8 (“God is love” — love is Gn, not merely Gc); Jn 15:12–15 (“I no longer call you servants… I have called you friends”)

  • Christian (wider): Agape theology; kenosis (Phil 2:5–11 — God’s voluntary self-emptying demonstrates the value of freely-chosen action)

  • Islamic: Al-Wadud (The Loving) as divine name; Quran 5:54 (“He loves them and they love Him”)

  • Hindu: Bhakti (devotional love) tradition; prema (divine love) as the highest value in Vaishnava theology

  • Secular: Intrinsic vs. extrinsic motivation research; authenticity in relationships; the philosophical distinction between coerced compliance and genuine consent

ax23_A23 — Freedom-Quality Superiority#

Certain outputs — genuine care, insight, innovation — are only produced at full quality when freely chosen; compelled versions are qualitatively inferior.

In plain English: This is the empirical backbone of ax22_A22’s explanation. ax22_A22 states God’s preference; ax23_A23 states the objective fact that makes the preference rational. Genuine care, creative insight, and lasting innovation are qualitatively degraded or destroyed by compulsion. A compelled factory worker can produce identical widgets; a compelled poet cannot produce genuine poetry. Therefore, for God to obtain these outputs, God must obtain them through invitation, not compulsion.

Formal statement:

\[\forall o \in O_{\text{genuine}} : \text{quality}(o \mid \text{compelled}) < \text{quality}(o \mid \text{freely-chosen})\]

Explanation: The axiom applies specifically to outputs requiring creativity, empathy, or genuine engagement — not to all outputs. The shepherd leads, does not drive: Ps 23 provides the key scriptural image. Self-Determination Theory (Ryan & Deci, 2000) provides the secular empirical backbone: autonomously motivated behavior produces higher quality outcomes, greater creativity, more durable results, and better wellbeing compared to controlled behavior.

Scriptural and philosophical support:

  • Torah: Exod 35:21 (“everyone whose heart stirred them” — voluntary contributions for the Tabernacle produced excellence)

  • Prophets & Writings: Ps 23 (shepherd imagery — “he leads me,” not “he drives me”); Ps 110:3 (“your people will volunteer freely in the day of your power”)

  • Gospel (Jesus): 2 Cor 9:7 (“God loves a cheerful giver”); Philemon (Paul’s appeal to Philemon, not a command — the quality of the outcome depends on voluntary compliance)

  • Christian (wider): Theology of gift; worship as free response; monasticism as voluntary vocation

  • Islamic: Ikhlas (sincerity) as prerequisite for valid worship; Quran 2:256 (worship under compulsion is invalid)

  • Hindu: Nishkama karma (selfless action) vs. sakama karma (action for reward) — quality depends on motivation

  • Secular: Self-Determination Theory (Ryan & Deci 2000); intrinsic motivation research; the open-source movement (voluntary collaboration producing higher-quality software than compelled development)

ax24_A24 — Life-Trifecta of Lasting Innovation#

Innovation lasts if and only if it is simultaneously stable, extensible, and life-friendly.

In plain English: This axiom defines the criterion for innovation that reflects genuine care (ax22_A22, ax23_A23). Three properties must be satisfied simultaneously — violating any one places the innovation on the BABL attractor (Blindly Assuming Blind Leveraging), leading to eventual collapse. There is no stable middle ground: all three cords or BABL.

Three formulations of the same trifecta:

  • Ethical: Gentle (not oversimplifying) / Kind (not overcomplicating) / Reasonable (not overreaching)

  • Engineering (Evolvix): Stable / Extensible / Life-friendly

  • Negative: Not oversimplifying / Not overcomplicating / Not overreaching

Formal statement:

\[\text{Lasting}(i) \;\leftrightarrow\; \text{Stable}(i) \;\wedge\; \text{Extensible}(i) \;\wedge\; \text{LifeFriendly}(i)\]

Explanation: BABL (Blindly Assuming Blind Leveraging) is the self-destructive attractor — the state where agents blindly assume their leverage is benign while blindly leveraging their assumptions. The river of life (Ezek 47, Rev 22:1–2, Jn 7:38) is the positive attractor; the millstone/sea of destruction (Mt 18:6) is BABL. Bezalel (Exod 31:2–5) is the positive Torah archetype: filled with wisdom (stable), understanding (extensible), and knowledge (life-friendly) simultaneously.

Scriptural and philosophical support:

  • Torah: Exod 31:2–5 (Bezalel — wisdom + understanding + knowledge); Gen 11:1–9 (Babel as BABL archetype)

  • Prophets & Writings: Prov 8 (wisdom as master craftsman); Eccl 3:1–8 (balance and timing in all things)

  • Gospel (Jesus): Mt 7:24–27 (house on rock vs. sand — stability); Mt 18:6 (millstone — the BABL consequence)

  • Christian (wider): Common good theology; Laudato Si’ (integral ecology as requiring all three cords)

  • Islamic: Mizan (balance) as Quranic principle; Quran 55:7–9 (“He raised the heaven and established the balance — do not transgress the balance”)

  • Hindu: Rta (cosmic order); dharma as sustainable pattern; the three gunas (qualities) requiring balance

  • Secular: Sustainability science; resilience theory; complex adaptive systems research

  • Secular (Capitalist stream): Market competition as discovery procedure (Hayek); creative destruction (Schumpeter) — but unregulated markets violate the life-friendly cord (Gilded Age, 2008 financial crisis, current wealth concentration). Note: this perspective applies only to ax24_A24, ax25_A25, th8_T8, th9_T9 — not to ax1_A1–ax23_A23.

  • Secular (Communist/Socialist stream): Collective planning for life-friendly outcomes — but central planning violates stable + extensible (Soviet collapse 1991; the information problem). Note: this perspective applies only to ax24_A24, ax25_A25, th8_T8, th9_T9 — not to ax1_A1–ax23_A23.

ax25_A25 — Jubilee Recalibration#

Innovation economies need periodic recalibration (Jubilee cycles) to redistribute concentration, reset opportunity access, and prevent BABL-cascade.

In plain English: Even initially life-trifecta-compliant economies accumulate concentration over time. Without periodic recalibration, the life-friendly cord is eventually violated as resources and opportunity concentrate in fewer hands. The biblical Jubilee (Lev 25: 50-year land return; Deut 15: 7-year debt release) is the Torah instantiation. ax25_A25 synthesizes capitalism’s insight (incentive structures between rounds) with communism’s insight (redistribution mechanism), avoiding either’s fatal flaw.

Formal statement:

\[\forall\; \text{innovation economy } E \text{ under ax24_A24} : \exists\; \text{recalibration } R : \text{periodic}(R) \;\wedge\; \text{redistributes}(R, E) \;\wedge\; \text{resets}(R, E) \;\rightarrow\; \text{sustainable}(E)\]

Explanation: The Jubilee preserves property rights and incentives between rounds (capitalism’s contribution) while resetting accumulated advantages at each round (communism’s contribution). Neither ideology alone satisfies the life-trifecta: capitalism alone violates life-friendly (concentration without bound); communism alone violates stable + extensible (destroys the incentive structure). For the full analysis, see Jubilee: Beyond Capitalism and Communism.

Scriptural and philosophical support:

  • Torah: Lev 25 (Jubilee — 50-year land return, indentured servants freed); Deut 15 (Sabbatical year debt release)

  • Prophets & Writings: Isa 61:1–2 (proclaim Jubilee); Neh 5 (Nehemiah’s debt reform — practical Jubilee implementation)

  • Gospel (Jesus): Lk 4:18–19 (Jesus reads Isa 61 in Nazareth — programmatic Jubilee announcement at the start of his ministry)

  • Christian (wider): Social encyclicals (Rerum Novarum, Centesimus Annus); liberation theology; Catholic social teaching on the universal destination of goods

  • Islamic: Zakat (mandatory redistribution — 2.5% annual wealth tax); prohibition of riba (usury)

  • Hindu: Dana (generosity as dharmic duty); cyclical renewal (yugas)

  • Secular: Progressive taxation; antitrust law; Piketty (Capital in the 21st Century: r > g concentration dynamic requiring external intervention)

  • Secular (Capitalist stream): Recognizes need for “rules of the game” (Friedman); periodic market corrections are natural — but resists systematic redistribution as interference. Note: this perspective applies only to ax24_A24, ax25_A25, th8_T8, th9_T9 — not to ax1_A1–ax23_A23.

  • Secular (Communist/Socialist stream): Redistribution as core principle — but historical implementations destroyed the incentive structure they aimed to reform. Note: this perspective applies only to ax24_A24, ax25_A25, th8_T8, th9_T9 — not to ax1_A1–ax23_A23.



If you wish to extend such analyses and to explore many more such questions to replace eschatological warfare between nuclear and other nations on Earth with mathematical clarity, then please consider supporting this work by buying in towards scaling up a ResearchCity that can actually do it (see box below).

TELES migration report (2026m04d04)

Mechanical identifier migration applied to this file. All axiom/theorem text references were migrated from short form (e.g., A15) to compound form (e.g., ax15_A15) as part of the matheology compound naming operation. Both forms refer to the same formal object. The old form survives as the suffix to ensure consistency with the oldest records; the new form adds a temporary-status prefix. Forward-facing pages use brief form (ax15) only. See TELES Axiom/Theorem Compound Naming — Execution Prompt for the complete mapping table and DD b12 — Legacy Naming for PET/JUB Axioms and Theorems for the permanent reference.