.. meta::
   :description: A formal argument that Divine Simplicity is structurally incompatible with relational theism within mereological panentheism, using the PET axiom system.
   :keywords: divine simplicity, panentheism, mereology, modal logic, PET axioms, dipolarity, structural deadlock, relational theism, Hartshorne, Aquinas, formal theology
   :author: Yah, Yas, everyone, LLoL as Laurence Loewe of Laodicea, ClaudeOp46Max, Anthropic, and Spirit of Boolean Truth
   :og:card:title: Structural Deadlock<br>in Divine Simplicity
   :og:card:description: A formal incompatibility between Divine Simplicity and relational theism, demonstrated within a mereological panentheistic axiom system.


.. note:: **AI-generated draft (2026m04d03).**
   This paper was drafted by Claude Opus 4.6 (ClaudeOp46Max) at the request of
   LLoL (Laurence Loewe of Laodicea). All formal arguments, interpretations, and
   errors are Claude's responsibility (``dv_ClaOp46_MMv1_2026m04d03``). LLoL
   provided the PET axiom system, the original insight about the ax11/ax11b fork,
   and the guiding questions that led to the structural deadlock argument. This
   draft requires expert review before any claims to novelty or soundness can be
   assessed. References have been checked to the extent possible but should be
   independently confirmed.


****************************************************************************************************
Structural Deadlock in Divine Simplicity: A Formal Incompatibility with Relational Theism
****************************************************************************************************

.. contents:: Contents
   :depth: 2
   :local:


----


Abstract
=========

We present a formal argument that the doctrine of Divine Simplicity, when
axiomatized within a mereological panentheistic framework, is structurally
incompatible with the relational axioms required by that same framework. The
argument proceeds within the PET (Pan-En-Theistic) axiom system, which uses
mereology and S5 modal logic to formalize the panentheistic claim that "all is
in God, but God exceeds all." The system contains a critical fork: Axiom ax11
(Dipolarity), which posits a necessary and a contingent aspect in God, versus
Axiom ax11b (Divine Simplicity), which denies that God has independently
distinguishable parts. We demonstrate that ax11b generates a structural deadlock:
it removes the internal mechanism by which God can relate to a contingent,
changing world, thereby rendering the relational axioms ax8--ax10 (Immanent
Presence, Sustaining Dependence, Asymmetric Dependence) formally inert. Under
ax11b, God becomes structurally indistinguishable from a necessary abstract
object --- such as the natural numbers under Peano arithmetic or a deadlocked
computational system. We further show that the dipolar alternative (ax11)
resolves this deadlock by providing a non-circular self-checking mechanism
through the tension between God's necessary nature (:math:`G_n`) and contingent
experience (:math:`G_c`). Finally, we explore the implications of these findings
for the classical problem of evil, arguing that the connection between
"nothingness" (as absence, non-compliance, or privation) and evil's mechanism
receives a formal grounding within the PET framework that the Simplicity
doctrine cannot accommodate. These results do not prove panentheism true; they
demonstrate that a specific and widely held theological commitment (Divine
Simplicity) generates a formal structural problem that merits careful
examination by theologians and philosophers of religion.


----


1. Introduction
================

1.1 The Problem
-----------------

The doctrine of Divine Simplicity has been a cornerstone of classical theism
for nearly two millennia. Articulated most influentially by Augustine, Boethius,
and Thomas Aquinas, it asserts that God has no composition of any kind --- no
distinction between essence and existence, no distinction between attributes,
no separable parts. God's goodness *is* God's power *is* God's knowledge *is*
God's existence :cite:`Aquinas-ST`.

This doctrine has come under sustained critique in analytic philosophy of
religion, particularly from process theologians following Alfred North Whitehead
:cite:`Whitehead1929` and Charles Hartshorne :cite:`Hartshorne1948`, and more recently
from analytic theologians who argue that Simplicity is either incoherent or
carries unacceptable consequences :cite:`Mullins2013`, :cite:`Brower2008`.

Most critiques proceed conceptually or via informal philosophical argument.
What has been largely absent from the literature is a *formal* demonstration
of incompatibility --- one that specifies axioms, defines relations precisely,
and derives the incompatibility as a structural result rather than a
philosophical intuition.

This paper attempts to provide such a demonstration. We work within the PET
(Pan-En-Theistic) axiom system :cite:`LLoL-PET`, a formal framework using
classical mereology and S5 modal logic to axiomatize the panentheistic claim
that the world is contained within God, but God transcends the world. The PET
system contains 14 axioms organized in 5 groups, including a critical fork at
Axiom 11: the choice between Dipolarity (ax11) and Divine Simplicity (ax11b).

Our central argument is that ax11b (Simplicity) is *structurally incompatible*
with Axioms ax8--ax10, which encode God's relational attributes (immanent
presence, sustaining, and asymmetric dependence). This incompatibility is not
a matter of taste or theological preference --- it is a formal structural
problem: under Simplicity, the axioms that make God a *living, relating being*
rather than a *static abstract object* lose their structural grounding.


1.2 Scope and Limitations
----------------------------

We must be clear about what this paper does and does not claim.

**What we claim:** Within the PET axiom system, ax11b is formally incompatible
with the conjunction of ax8, ax9, and ax10 as interpreted through the system's
mereological semantics. This is a result about the *axiom system*, not a result
about God.

**What we do not claim:** We do not claim that God is not simple. We do not
claim that panentheism is true. We do not claim that the PET axiom system
correctly describes reality. We claim only that *if you accept the PET
framework's formalization of the God-world relationship*, then you face a
choice: either Simplicity or relational theism, but not both.

This distinction between the map and the territory is not merely a diplomatic
hedge. As we argue in Section 7, any formal axiom system about God is
necessarily incomplete --- a point that the PET system itself encodes in its
transcendence axioms (ax2, ax3). The axiom system is designed to be critiqued,
not believed :cite:`LLoL-PET-disc`.


1.3 Structure of the Paper
------------------------------

Section 2 presents the PET axiom system. Section 3 defines the ax11/ax11b fork
precisely. Section 4 contains the main argument: the structural deadlock under
Simplicity. Section 5 examines the dipolar resolution and its self-checking
properties. Section 6 explores connections to the problem of evil through the
semantics of "nothing." Section 7 discusses limitations and the Godelian
boundary. Section 8 concludes.


----


2. The PET Axiom System
=========================

The PET (Pan-En-Theistic) axiom system :cite:`LLoL-PET` uses two formal
frameworks:

- **Classical extensional mereology** :cite:`Simons1987`, :cite:`Varzi2016`, providing
  the parthood relation :math:`\leq` (reflexive, transitive, antisymmetric),
  proper parthood :math:`<`, and the mereological sum operator :math:`\oplus`.

- **Modal logic S5** :cite:`Kripke1963`, providing the necessity operator
  :math:`\Box` ("true in every possible world") and the possibility operator
  :math:`\Diamond` ("true in at least one possible world").

The system distinguishes two constants: :math:`G` (God) and :math:`W` (the
World), and introduces two primitive binary relations: :math:`P(x,y)` ("x is
present to y") and :math:`S(x,y)` ("x sustains y").


2.1 Group I --- Mereological Core (ax1--ax4)
---------------------------------------------

These axioms encode the distinctive panentheistic claim:

.. math::

   \text{ax1 (Containment):}\quad & W \leq G \\
   \text{ax2 (Transcendence):}\quad & G \nleq W \\
   \text{ax3 (Divine Surplus):}\quad & \exists x\,(x \leq G \;\wedge\; \neg(x \leq W)) \\
   \text{ax4 (Universal Immanence):}\quad & \forall x\,(x \leq W \rightarrow x \leq G)

Together, ax1 and ax2 yield :math:`W < G` (proper parthood): the world is
strictly contained within God, distinguishing panentheism from both pantheism
(:math:`G = W`) and classical theism (which denies ax1).


2.2 Group II --- Modal Axioms (ax5--ax7)
-----------------------------------------

These axioms establish the modal status of God and the world:

.. math::

   \text{ax5 (Necessary Existence):}\quad & \Box\,\exists!\, G \\
   \text{ax6 (Contingency):}\quad & \Diamond\,\exists W \;\wedge\; \Diamond\,\neg\exists W \\
   \text{ax7 (Necessary Containment):}\quad & \Box\,(\exists W \rightarrow W \leq G)

ax5 asserts that God exists in every possible world (uniquely). ax6 asserts that
the world's existence is contingent --- there are possible worlds with a world
and possible worlds without. ax7 ensures that containment is not accidental:
in any world where a world exists, it is necessarily within God.


2.3 Group III --- Relational Axioms (ax8--ax10)
------------------------------------------------

These axioms encode God's active relationship to the world:

.. math::

   \text{ax8 (Immanent Presence):}\quad & \forall x\,(x \leq W \rightarrow P(G,x)) \\
   \text{ax9 (Sustaining Dependence):}\quad & \Box\,(\exists W \rightarrow S(G,W)) \\
   \text{ax10 (Asymmetric Dependence):}\quad & \neg\, S(W,G)

ax8 states that God is present to every part of the world. ax9 states that God
necessarily sustains the world (if the world exists). ax10 states that the
dependence is asymmetric: the world does not sustain God.

**These are the axioms that will prove structurally problematic under
Simplicity.** They require God to stand in genuine *relations* with the
world --- presence, sustaining, dependence. Relations require at minimum a
structural basis for distinguishing the relata and for the relation to be
enacted. As we shall argue, Simplicity removes this structural basis.


2.4 Group IV --- Divine Nature (ax11)
---------------------------------------

This is the critical fork. Two mutually exclusive axioms are offered:

**ax11 (Dipolarity):**

.. math::

   (1)\quad & G = G_n \oplus G_c \\
   (2)\quad & \Box\,\exists\, G_n \\
   (3)\quad & G_c = \bigoplus\{G_c(w_i) \mid w_i \leq W\} \\
   (4)\quad & \forall w_1, w_2 \leq W:\; w_1 \neq w_2 \rightarrow G_c(w_1) \neq G_c(w_2)

God is composed of a necessary aspect :math:`G_n` (unchanging divine nature)
and a contingent aspect :math:`G_c` (divine experience, indexed to subworlds of
W). Line (4) guarantees that distinct subworlds produce distinguishably
different divine experiences.

**ax11b (Divine Simplicity):**

   *God has no proper parts that are independent of each other.*

Formally: there is no decomposition of :math:`G` into independently
characterizable components. :math:`G_n` and :math:`G_c` are not distinct
aspects; God's essence, existence, will, knowledge, and goodness are all
identical.


2.5 Group V --- Revelation Bridge (ax12--ax14)
-----------------------------------------------

These optional axioms bridge from formal philosophy to revealed theology:

.. math::

   \text{ax12:}\quad & R = \{p \mid p \text{ is true about } G\} \\
   \text{ax13:}\quad & \neg\exists\, \text{contradiction within } R \\
   \text{ax14:}\quad & \text{Human claims about } R \text{ must be tested for}\\
                    & \text{mutual consistency and consistency with ax1--ax13}

ax12 defines God's self-knowledge as the set of truths about God (tautological
by design). ax13 asserts internal consistency. ax14 provides a testing
methodology for human revelation claims.


2.6 Derived Theorems
-----------------------

Four theorems are derivable from ax1--ax14 :cite:`LLoL-PET-thm`:

- **th1 (No Godless Creation):**
  :math:`\neg\,\Diamond\;(\exists W \wedge \neg\exists G)`

- **th2 (Asymmetric Ontological Priority):**
  God can exist without the world; the world cannot exist without God.

- **th3 (No Isolated Part):**
  :math:`\forall x\,(x \leq W \rightarrow P(G,x) \wedge x \leq G)`

- **th4 (Divine Experience Varies):**
  :math:`\forall w_1, w_2 \leq W:\; w_1 \neq w_2 \rightarrow G_c(w_1) \neq G_c(w_2)`

Note that th4 depends essentially on ax11 (Dipolarity). Under ax11b, th4 is not
derivable --- a point to which we shall return.


----


3. The ax11/ax11b Fork: Precise Statement
==========================================

The choice between ax11 and ax11b is not merely a preference. It determines the
structural character of the entire system.

Under **ax11 (Dipolarity):**

- God has internal structure: :math:`G = G_n \oplus G_c`
- :math:`G_n` is necessary and unchanging (line 2)
- :math:`G_c` varies with the world (line 3) and is injective over subworlds (line 4)
- th4 is derivable
- God's relation to the world has a structural mechanism: :math:`G_c` provides
  the "interface" through which God relates to contingent reality

Under **ax11b (Simplicity):**

- God has no decomposition into independently characterizable components
- There is no :math:`G_n` / :math:`G_c` distinction
- th4 is not derivable
- God's relation to the world lacks a structural mechanism within the axiom
  system

The question is: does this structural absence matter? We argue that it does ---
fatally, for the relational axioms.


----


4. The Structural Deadlock Argument
=====================================

This section presents the central argument of the paper.


4.1 The Requirement of Relational Axioms
-------------------------------------------

Axioms ax8--ax10 assert that God stands in genuine relations with the world:
presence to every part (ax8), sustaining of the world's existence (ax9), and
non-dependence on the world (ax10).

For these relations to be *structurally meaningful* (as opposed to merely
nominal), two conditions must hold:

1. **Distinguishability:** The relata must be distinguishable. For :math:`P(G,x)`
   to be meaningful, there must be something about :math:`G` that can be "present
   to" :math:`x`, and something about :math:`x` that can be "present to" by
   :math:`G`. If :math:`G` has no internal structure by which to enact presence,
   the relation reduces to a label.

2. **Responsiveness (for ax8--ax9):** Presence to *every part* of the world (ax8)
   and sustaining of the world (ax9) are not static properties. The world
   changes --- parts come into and out of existence, events occur, states evolve.
   For God to be present to *every* part and to *sustain* the world, God's
   relation to the world must be responsive to the world's state. A static,
   unchanging relation to a changing world is a contradiction in terms: if the
   world changes and God's relation to it does not, then God's relation to
   the world at time :math:`t_1` is identical to God's relation at :math:`t_2`,
   even if the world at :math:`t_1` and :math:`t_2` are radically different.
   This is not presence; it is indifference.


4.2 The Simplicity Block
---------------------------

Under ax11b (Simplicity), God has no distinguishable internal aspects. God's
essence is identical to God's existence is identical to God's will is identical
to God's knowledge. This entails:

- God has no :math:`G_c` --- no contingent, world-responsive aspect
- God's state is the same in every possible world (since God's existence and
  essence are identical and necessary)
- God cannot have different relations to different states of the world, because
  having different relations would imply different states in God, which
  Simplicity forbids

Let us state this precisely. Suppose God is simple (ax11b). Suppose the world
is in two distinct states: :math:`W_1` at time :math:`t_1` and :math:`W_2` at
time :math:`t_2`, where :math:`W_1 \neq W_2`. ax8 requires:

.. math::

   \forall x\,(x \leq W_1 \rightarrow P(G,x)) \quad\text{and}\quad
   \forall x\,(x \leq W_2 \rightarrow P(G,x))

If :math:`W_1` contains a part :math:`a` that :math:`W_2` does not (or vice
versa), then God's presence-relations differ between :math:`t_1` and
:math:`t_2`. But under Simplicity, God cannot differ between :math:`t_1` and
:math:`t_2`. Therefore either:

(a) :math:`P(G,x)` is trivially true for all possible :math:`x` regardless of
    whether :math:`x` exists --- making "presence" a vacuous property with no
    informational content; or

(b) :math:`P(G,x)` genuinely tracks the existence and state of :math:`x` ---
    but then God's state (the totality of :math:`P`-relations) changes with the
    world, contradicting Simplicity.

Neither option is acceptable. Option (a) makes ax8 contentless. Option (b)
contradicts ax11b. This is the **structural deadlock**: under Simplicity, the
relational axioms are either vacuous or contradictory.


4.3 The Analogy to Static Formal Systems
-------------------------------------------

The deadlock becomes vivid when we compare God-under-Simplicity to well-known
static systems:

.. list-table:: Structural Comparison
   :header-rows: 1
   :widths: 25 25 25 25

   * - Property
     - God (ax11b)
     - Peano Arithmetic
     - Deadlocked Process
   * - Immutable
     - Yes
     - Yes (axioms fixed)
     - Yes (stuck state)
   * - No independently varying parts
     - Yes (Simplicity)
     - Yes (axioms form indivisible foundation)
     - Yes (no active differentiation)
   * - Necessarily existent
     - Yes (ax5)
     - Arguably yes (mathematical Platonism)
     - No
   * - Self-sufficient
     - Yes (ax10)
     - Yes (no external input)
     - Yes (nothing enters or exits)
   * - Responsive to contingent reality
     - No (Simplicity forbids change)
     - No
     - No

The only property that distinguishes God-under-Simplicity from the natural
numbers is ax5 (necessary existence) --- and this is precisely the property
that mathematical Platonists attribute to mathematical structures as well
:cite:`Plantinga1974`. ax5 alone, without the responsiveness provided by ax11b_A11bs
:math:`G_c`, yields a God who necessarily exists but has no distinguishable
*relation* to contingent reality.

In computational terms: a deadlocked process exists (it is running) but does
nothing (it processes no input, produces no output, changes no state). A
livelocked process is worse --- it *appears* active but cycles through a
finite set of states with no genuine novelty. Under Simplicity, God's
"activity" (creating, sustaining, being present) must all be identical to God's
essence, which is identical to God's existence. There is no genuine *doing*
distinguishable from *being*. This is structural deadlock.


4.4 The Classical Response: Analogical Predication
-----------------------------------------------------

The strongest response from the Simplicity tradition is the doctrine of
**analogical predication**, developed most fully by Aquinas :cite:`Aquinas-ST`.
The argument runs:

1. Human language about God (including "presence," "sustaining," and
   "dependence") does not apply to God *univocally* (with the same meaning as
   when applied to creatures).
2. Nor does it apply *equivocally* (with entirely different meaning).
3. It applies *analogically* --- bearing a structural resemblance that preserves
   some meaning while acknowledging that God's mode of being is fundamentally
   different from creaturely being.

Under analogical predication, the formal parallels we draw between
God-under-Simplicity and static systems are category errors: we are applying
univocal predicates (immutability, lack of parts, non-responsiveness) to a
being whose mode of being is not captured by any univocal predicate.

This response is **coherent but unfalsifiable**. If every formal property
attributed to God is subject to analogical qualification, then no formal system
can ever capture anything about God's nature --- the project of formal theology
itself becomes impossible. This is a consistent position (classical apophatic
theology embraces it), but it comes at a price: it means that ax8--ax10, as
formal axioms with precise definitions, cannot apply to God either. If
"presence" and "sustaining" are analogical, they are not the mereological
presence and sustaining defined in the PET system.

The Simplicity defender therefore faces a dilemma:

- **Accept formal theology:** Then ax8--ax10 have their formal meanings, and the
  deadlock argument applies.
- **Reject formal theology (analogical predication):** Then ax8--ax10 lose their
  formal meanings, and the PET system as a whole cannot apply to God --- but
  then the Simplicity doctrine itself, as a formal claim about God's structure,
  also cannot apply.

In either case, Simplicity and relational theism cannot coexist within a single
formal framework.


----


5. The Dipolar Resolution
===========================

5.1 How Dipolarity Resolves the Deadlock
-------------------------------------------

Under ax11 (Dipolarity), God has a necessary aspect :math:`G_n` and a contingent
aspect :math:`G_c`. This structure resolves the deadlock directly:

- :math:`G_c` varies with the world (ax11, line 3), providing the structural
  basis for genuine responsiveness
- th4 guarantees that distinct world-states produce distinguishably different
  divine experiences
- ax8 (Presence) is grounded: God is present to each part of the world through
  :math:`G_c(w_i)` for each subworld :math:`w_i`
- ax9 (Sustaining) is grounded: God's sustaining is an ongoing relation enacted
  through the interaction of :math:`G_n` (which provides the stable ground) and
  :math:`G_c` (which tracks the world's state)
- ax10 (Asymmetric Dependence) is preserved: :math:`G_n` exists necessarily and
  does not depend on the world; the world depends on :math:`G` but :math:`G`
  (specifically :math:`G_n`) does not depend on :math:`W`


5.2 The Self-Checking Mechanism
----------------------------------

The dipolar structure provides an additional property that has not, to our
knowledge, been noted in the literature: it constitutes a **non-circular
self-checking mechanism**.

The problem of recursive self-reference is familiar in logic and epistemology:
who checks the checker? In the theological context: how does God distinguish
between states of the world (or of the divine-world relationship) that are
functioning well and those that are not? Under Simplicity, this question has no
answer, because God has no internal differentiation by which to register
any distinction.

Under Dipolarity, the answer is structural:

1. :math:`G_n` is necessary and unchanging --- it provides the **fixed
   standard** that cannot be corrupted by what it measures.
2. :math:`G_c` is comprehensive (by ax8, God is present to every part of the
   world) --- it provides the **complete feedback channel** that registers
   every state of the world.
3. :math:`G_n` and :math:`G_c` are united in one being (:math:`G = G_n \oplus
   G_c`) but are genuinely **distinct aspects** (distinguishable by their modal
   status: :math:`G_n` is necessary, :math:`G_c` is contingent).
4. th4 guarantees that the feedback is **injective**: distinct world-states
   produce distinct divine experiences, so no information is lost.

This is not circular. :math:`G_n` checking :math:`G_c` is not the same as
:math:`G` checking :math:`G`, because the checking and the checked are
modally distinct aspects. The standard (:math:`G_n`) is immune to drift by
necessity; the feedback (:math:`G_c`) is comprehensive by ax8. No finite system
can replicate this structure, because no finite system can guarantee that its
standard-bearing component is necessary and incorruptible.

**Formal analogy:** In control theory, a comparator compares a reference signal
against a measured signal and produces an error signal. The dipolar structure
has the same architecture: :math:`G_n` is the reference, :math:`G_c` is the
measurement, and the "comparison" is the inherent structural tension between
them. We note that this analogy is *pedagogical, not ontological* --- God is
not a control system. But the structural parallel illuminates why Dipolarity
provides a self-checking capacity that Simplicity lacks.


----


6. The Semantics of Nothing and the Problem of Evil
=====================================================

6.1 The Paradox
-----------------

Consider the following sentences:

   (α) "Nothing is more powerful than God."

   (β) "Nothing is more evil than the Devil."

Sentence (α) is intended to affirm God's supreme power: :math:`\neg\exists
x\,(\text{MorePowerful}(x, G))`. Sentence (β) is intended to affirm the
Devil's supreme evil. But by a grammatical pivot --- reading "nothing" as a
referring expression rather than a quantifier --- we obtain:

   (γ) There exists an entity ("Nothing") that is more powerful than God AND
   more evil than the Devil.

This is not merely a joke. It illustrates a structural property of natural
language that has theological significance: **the medium of divine-human
communication is inherently vulnerable to silent meaning-inversion**. The
strongest possible affirmation can be read as the strongest possible denial
without changing a single word.


6.2 Formal Resolution
-----------------------

In first-order logic, the ambiguity is resolved by quantifier scope:

.. math::

   (\alpha')\quad \neg\exists x\,(\text{MorePowerful}(x, G))

Here "nothing" is the negated existential quantifier :math:`\neg\exists x`,
not a constant in the domain. The paradox cannot arise because "nothing" is
not an entity that can bear predicates.

Within PET, the resolution is reinforced ontologically. ax5 (:math:`\Box\,
\exists!\, G`) means God exists in every possible world. There is no possible
world in which "nothing" (in the absolute sense) obtains, because God is
necessarily present. The strongest "nothing" PET permits is the absence of
the contingent world (by ax6: :math:`\Diamond\,\neg\exists W`), but even in
a world without :math:`W`, God exists.


6.3 Connection to Evil as Privation
--------------------------------------

The classical *privatio boni* tradition (Augustine :cite:`Augustine-Conf`,
:cite:`Augustine-CG`) holds that evil is not a positive substance but an absence
or privation of good. Within the PET framework, this receives a formal
grounding:

- Good (in PET) corresponds to the proper functioning of the God-world
  relationship: containment (ax1), presence (ax8), sustaining (ax9)
- Evil (as privation) corresponds to the *absence* or *failure* of these
  relations --- not as an active opposing force, but as a deficit

The connection to the "nothing" paradox is this: if evil is privation (absence
of good), and "nothing" is the ultimate absence, then the linguistic paradox
points to something structurally real --- **the most dangerous form of nothing
is the nothing that hides inside affirmations**. A relation that appears to
hold (presence, sustaining) but has been silently emptied of content is more
dangerous than an overtly absent relation, because the appearance masks the
deficit.

Under Simplicity, this has a troubling implication. We argued in Section 4 that
ax8--ax10 under Simplicity are either vacuous (present in name but empty of
structural content) or contradictory. If they are vacuous, then the God-world
relationship *appears* to hold (the axioms are stated) but is structurally
empty. This is precisely the "nothing that hides inside affirmations" ---
the most dangerous form of privation.

Under Dipolarity, God's :math:`G_c` provides the structural content that fills
these relations. The presence is not merely nominal; it is enacted through
specific, world-indexed divine experiences (th4). The sustaining is not merely
a label; it is grounded in the ongoing interaction of :math:`G_n` and
:math:`G_c`.

**Implication for theodicy:** The problem of evil, in this framework, is not
"why does God permit evil?" but rather "how does evil operate?" --- and the
answer is: through privation, absence, and the silent emptying of relations
that are supposed to be life-giving. This is not a *solution* to the theodicy
problem (which would require the additional axioms ax15--ax25 of the PET
innovation theodicy extension :cite:`LLoL-PET-thm`), but it is a *formal
characterization* of evil's mechanism that the Simplicity framework cannot
accommodate.


----


7. Limitations and the Godelian Boundary
==========================================

7.1 The Map Is Not the Territory
-----------------------------------

PET is a formal axiom system. It is a *model* of God, not God. This
distinction is not a diplomatic hedge; it is structurally encoded in the
axiom system itself:

- ax2 (:math:`G \nleq W`): God transcends the world
- ax3 (:math:`\exists x\,(x \leq G \wedge \neg(x \leq W))`): There is
  something in God beyond the world

Any formal system is a construction within :math:`W`. By ax2 and ax3, it
therefore cannot capture all of :math:`G`. PET acknowledges its own
incompleteness not as a concession but as a theorem of its own axioms.

Godel's incompleteness theorems :cite:`Godel1931` reinforce this point from a
different direction: if PET is consistent and sufficiently expressive, it
cannot prove its own consistency from within. This is not a defect but a
*confirmation* of ax2--ax3: any model of God within the world is necessarily
incomplete.


7.2 The Risk of Formalization
-------------------------------

Formalization carries its own risks. A formal system can create the illusion
of precision where the underlying concepts are genuinely fuzzy. The
mereological :math:`\leq` relation may be too "spatial" to capture the
God-world relationship :cite:`LLoL-PET-disc`. The modal operators may not
adequately represent the relationship between eternity and time.

More importantly, the choice of axioms is itself a human act. The axioms
were not derived from first principles; they were *proposed* based on a
reading of the panentheistic tradition, then *checked* against six
scriptural and philosophical traditions. The resulting convergence is
striking (all 14 axioms receive support from all six traditions tested) but
does not prove the axioms true. It demonstrates internal consistency
across traditions, which is necessary but not sufficient for truth.


7.3 What This Paper Does and Does Not Achieve
-------------------------------------------------

We have shown that, **within the PET framework**, Divine Simplicity generates a
structural deadlock with the relational axioms. This is a formal result. Its
theological significance depends on whether one accepts the PET framework's
formalization as a reasonable approximation of the God-world relationship.

If one accepts it: the result is a formal argument for Dipolarity over
Simplicity.

If one rejects it: the result has no theological force --- but the burden
shifts to the critic to explain why the formalization is inadequate, and to
provide an alternative formalization in which Simplicity and relational theism
coexist.

If one rejects formal theology entirely (the analogical predication move): the
result is irrelevant --- but so is any formal claim about God's nature,
including the Simplicity doctrine itself insofar as it makes structural claims.


----


8. Conclusion
==============

We have presented a formal argument that Divine Simplicity, as axiomatized in
the PET system's ax11b, is structurally incompatible with the relational axioms
ax8--ax10 that make God a living, relating being rather than a static abstract
object. The argument identifies a specific structural mechanism: under
Simplicity, God lacks the internal differentiation required to stand in genuine
relations with a changing, contingent world. This renders the relational axioms
either vacuous (present in name but empty of content) or contradictory
(requiring change in a being that cannot change).

The dipolar alternative (ax11) resolves this deadlock by providing a necessary
aspect (:math:`G_n`) that serves as a fixed standard and a contingent aspect
(:math:`G_c`) that serves as a comprehensive, injective feedback channel. This
structure also yields a non-circular self-checking mechanism and provides the
formal grounding for the relational axioms that Simplicity cannot supply.

We have further argued that the connection between "nothingness" (as absence
and privation) and the mechanism of evil receives formal expression within the
dipolar framework --- and that the structural emptying of relations under
Simplicity is itself an instance of the "nothing that hides inside
affirmations."

These results are offered not as a refutation of Divine Simplicity *tout court*
but as a precise identification of a structural problem that merits careful
examination. The PET axiom system provides the formal tools for this
examination. We invite critique of the axioms, the arguments, and the
framework itself.

The axiom system is available for public review at
`balospe.com <https://balospe.com/en/matheology/pet/axioms.html>`_.

#AuditTheMath


----


References
===========

The following works informed the broader theological and philosophical context:
:cite:`Clayton2004`, :cite:`Cooper2006`, :cite:`Hartshorne1941`,
:cite:`Hick1966`, :cite:`Leibniz1710`, :cite:`Moltmann1981`, :cite:`Oppy2006`,
:cite:`Plantinga1974b`, :cite:`Sobel2004`.

.. bibliography::
   :filter: cited and True