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–ax14#

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 lines 3–4 and reformulated ax12–ax14.

For the symbol dictionary, see All Symbol Dictionaries for Mathematical Theology. For derived theorems, see 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).

ax1 — 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, it means God strictly exceeds the world (\(W < G\), proper parthood).

Worldview support:

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

ax2 — 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, this yields \(W < G\) (proper parthood): God strictly exceeds the world. This single axiom pair (ax1 + ax2) is what distinguishes panentheism from pantheism (which asserts \(G = W\)).

Worldview support:

Secular: The universe exceeds any observer’s complete knowledge

ax3 — 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. Without ax3, ax1 + ax2 could be satisfied trivially. ax3 asserts there is genuine divine content beyond creation.

Worldview support:

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

ax4 — 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 by transitivity of \(\leq\), but it is stated explicitly because it carries theological weight. It is the universally quantified version of ax1: not just the world as a whole, but every individual part.

Worldview support:

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

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 — 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 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))\]

Worldview support:

Secular: Natural law operates everywhere without exception

ax9 — 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))\]

Worldview support:

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

ax10 — Asymmetric Dependence #

The world does not sustain God.

In plain English: The dependence runs strictly one way. God sustains the world (ax9), 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, this encodes a strict ontological asymmetry. God can exist without the world (th2); the world cannot exist without God. This distinguishes PET from process-theology variants where God genuinely needs the world.

Worldview support:

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

Group IV — Divine Nature #

ax11 — 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):

\(G = G_n \oplus G_c\) — God is the union of both aspects
\(\Box\;\exists\, G_n\) — the necessary divine nature exists in every possible world
\(G_c = \bigoplus\{G_c(w_i) \mid w_i \leq W\}\) — the contingent aspect is composed of subworld-indexed experiences
\(\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 (Divine Experience Varies) formally derivable.

Worldview support:

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

Alternative — ax11b (Divine Simplicity):

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

ax11b is the classical theism alternative. It sits in tension with ax1 + ax3. See PET Axioms — Discussions and Caveats for analysis of the ax11/ax11b 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 — 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 is tautological by design. This is deliberate: the substantive work of testing claims shifts to ax14 (Revelation Claims Test).

Formal statement:

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

Worldview support:

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

ax13 — 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\]

Worldview support:

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

ax14 — Revelation Claims Test #

Human claims about divine revelation must be mutually consistent and consistent with ax1–ax13.

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–ax13.

Formal statement (reformulated, 2 lines):

\(\forall p, q : \text{claim}(p) \wedge \text{claim}(q) \rightarrow \neg(p \wedge q \rightarrow \text{contradiction})\)
\(\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 references ax1–ax13, not ax1–ax14. 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) and human claims about what is in R. Humans can be wrong about what God has revealed; ax14 provides a method for detecting such errors.
Testable method: Given two traditions that make conflicting claims, ax14 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.

Worldview support:

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–ax25 have not undergone the same iterative poster-review process as ax1–ax14 (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 — 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.

Worldview support:

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

ax16 — 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: chain-of-command theory models subordinates as instruments, but ax15 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, this resolves the “puppet-master” objection. If humans were instruments (puppets), ax16 would not transfer responsibility. But because humans are genuine agents (ax15), delegation transfers primary responsibility to the delegate.

Worldview support:

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

ax17 — 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), not a power limitation. God has the power to compel (ax3 + ax5) but chooses not to, because compelled care produces a qualitatively inferior outcome (ax23). 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 is scoped specifically to D_free/D_inno. Within D_f (the forced domain), God maintains physics — this is a precondition for agency (ax15 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).

Worldview support:

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

ax18 — 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), have been delegated authority (ax16), receive non-coercive guidance (ax17), and are not forced (ax17), 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–ax17, ax18 becomes redundant as an axiom. It is stated explicitly for clarity: the four premises mechanically produce the theodicy conclusion.

Worldview support:

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

ax19 — 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 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)

Worldview support:

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

ax20 — 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 (non-coercion) and ax22 (divine preference for genuine love). “Transient” because the call is moment-specific, not permanent (contrast ax21).

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.

Worldview support:

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

ax21 — 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, 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 is the individual permanent analog of Quran 33:72, which establishes the species-level acceptance of the trust (amanah). ax20 handles transient individual calls; ax21 handles the permanent mediation role. From God’s perspective (ax5, outside time), the permanent mediator role is singular; from the human perspective it may be filled sequentially or partially.

Worldview support:

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

ax22 — 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) 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 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.

Worldview support:

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

ax23 — 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’s explanation. ax22 states God’s preference; ax23 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.

Worldview support:

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

ax24 — 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, ax23). 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.

Worldview support:

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, ax25, th8, th9 — not to ax1–ax23.

ax25 — 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 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} : \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.

Worldview support:

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, ax25, th8, th9 — not to ax1–ax23.

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).