---
author:
- Paul Koop
title: |
  The Non-Uniqueness of the Superposition Axioms\
  Three Alternative Extensions of S5
subtitle: "Three Alternative Extensions of S5"
abstract: |
  Modal 5 has shown that the superposition axioms ASP1–ASP5 are sufficient 
  to derive the Trinitarian formula in S5. Modal 6 has shown that the full 
  axiomatics is minimal for the superposition intuition, but not for the 
  target statement. The question remained open whether there are other, 
  systematically different extensions of S5 that also derive the 
  Trinitarian formula. The present treatise answers this question. It 
  constructs three alternative extensions — a topological, a temporal, and 
  a mereological one — and shows: All three derive the Trinitarian formula, 
  but in structurally different ways. The Trinitarian structure is thus not 
  bound to a particular metaphysical supplementary structure. What remains 
  is the necessity of a supplementary structure at all. We stand at the 
  beginning of infinity.
lang: en
version: 7
---

::: center
*Past and future are horizons of knowledge.*\
*The present is the locus of reality.*\
*Nothing that was, is lost.*
:::

# Preface: From Minimality to Uniqueness

This treatise continues the metalogical investigation of `modal5.md` and `modal6.md`.

In `modal5.md` it was shown: In pure S5, the Trinitarian formula $\Box\forall x\,Tr(x)$ is not derivable. The extension by the superposition axioms ASP1–ASP5 is **sufficient**.

In `modal6.md` it was shown: Within the axiomatics chosen in `modal5.md`, the minimal subset for the target statement is $\{ASP3, ASP4, ASP5\}$. ASP1 is derivable from ASP2. The full axiomatics is minimal for the **superposition intuition**, not for the target statement alone.

The question remained open: **Is the superposition extension the only sufficient extension of S5?** Or are there other, systematically different extensions that also derive the Trinitarian formula?

The present treatise answers this question. It shows: There are **at least three** systematically different extensions of S5 that derive the Trinitarian formula:

1. A **topological** extension (limit axioms instead of superposition).
2. A **temporal** extension (time modes instead of superposition).
3. A **mereological** extension (part-whole axioms instead of superposition).

All three derive the Trinitarian formula, but in structurally different ways. The Trinitarian structure is thus **not bound to a particular metaphysical language**.

The central claim of this treatise is:

> **The Trinitarian formula is axiom-invariant: It follows from at least four systematically different extensions of S5 (superposition, topology, temporality, mereology). What remains is the necessity of a supplementary structure at all — not the uniqueness of a particular supplementary structure.**

The investigation remains faithful to the methodological self-understanding of `modal5.md` and `modal6.md`: It shows **dependencies**, not truths. It shows that multiple paths lead to the same limit. We stand at the beginning of infinity.

# Formal Framework: What Does "Systematically Different Extension" Mean?

Before we construct the three alternatives, we must clarify precisely what "systematically different extension" means.

## Extension of S5

An **extension of S5** is a set of additional axioms $\Sigma$ added to the language of S5. Formally: S5+$\Sigma$ is the smallest modal-logical theory containing S5 and $\Sigma$.

**Example:** The superposition extension is $SP := \{ASP1, \dots, ASP5\}$.

## Sufficiency

An extension $\Sigma$ is **sufficient** for the target statement $\varphi$ if:

$$S5 + \Sigma \vdash \varphi$$

**Example:** $SP$ is sufficient for $\Box\forall x\,Tr(x)$ (according to `modal5.md`).

## Systematic Difference

Two extensions $\Sigma_1$ and $\Sigma_2$ are **systematically different** if:

1. **Linguistic difference:** They use **different non-logical symbols** or **different operators**.
2. **Structural difference:** They rest on **different metaphysical basic concepts** (e.g., superposition vs. limit vs. time vs. part-whole).
3. **Non-equivalence:** $\Sigma_1$ and $\Sigma_2$ are **not** equivalent in S5 — i.e., there are models of $\Sigma_1$ that do not satisfy $\Sigma_2$, and vice versa.

**Important:** Systematic difference is **stronger** than mere syntactic difference. Two extensions can be syntactically different but semantically equivalent (e.g., if they only permute the order of axioms). Systematic difference requires **structural** difference.

## The Strategy of This Treatise

We construct three extensions that are systematically different from $SP$ and from each other. For each we show:

1. **Linguistic difference:** It uses symbols other than $SP$.
2. **Sufficiency:** It derives $\Box\forall x\,Tr(x)$.
3. **Structural difference:** It rests on other metaphysical basic concepts.

We do **not** show that there are **exactly** three alternatives. We only show that there are **at least** three. The question of completeness remains open.

# Alternative 1 – Topological Extension: Limit Axioms

## The Basic Idea

The superposition extension uses the concept **superposition**: A primordial state in which all possibilities are undividedly contained. The topological extension uses instead the concept **limit**: The Trinity as the limit of a sequence of worlds.

**Metaphysical basic concepts:** Limit, convergence, neighborhood, topology.

## The Language

We extend the language of S5 by:

- A **limit operator** $\mathcal{L}$ (read: "limes").
- A **neighborhood operator** $\mathcal{N}$.

$\mathcal{L} p$ means: "p holds in the limit of a sequence of worlds."

$\mathcal{N} p$ means: "p holds in a neighborhood of the current world."

## The Axioms of the Topological Extension

$$\begin{aligned}
TOP1 &:= \Box(\mathcal{N} p \rightarrow p) \\
TOP2 &:= \Box(\mathcal{L} p \rightarrow \Diamond p) \\
TOP3 &:= \Box(\mathcal{L}(p \rightarrow q) \rightarrow (\mathcal{L} p \rightarrow \mathcal{L} q)) \\
TOP4 &:= \Box(\mathcal{N}(U \land T \land S) \rightarrow \mathcal{L}(U \land T \land S)) \\
TOP5 &:= \Box(\mathcal{L}(U \land T \land S) \rightarrow \Box(U \land T \land S))
\end{aligned}$$

**Explanation:**

- TOP1: Neighborhood implies actuality.
- TOP2: What holds in the limit is possible.
- TOP3: The limit operator distributes over implication.
- TOP4: If a neighborhood contains the Trinity, then so does the limit.
- TOP5: What holds in the limit holds necessarily.

## Derivation of the Trinity

**Theorem TOP-A:** In S5+TOP1–TOP5, $\Box\forall x\,Tr(x)$ holds.

**Proof:**

1. From A4: $\Diamond\exists w\,World(w)$.
2. From A1, A11, A12: $\Diamond C$ (consciousness is possible).
3. From A13, A14, A15, and the equivalence of T, U, S: In every world with consciousness, a neighborhood holds in which the Trinity holds locally.
4. By TOP4: $\mathcal{L}(U \land T \land S)$.
5. By TOP5: $\Box(U \land T \land S)$, i.e., $\Box\forall x\,Tr(x)$.

q.e.d.

## Comparison with the Superposition Extension

| Aspect | Superposition (ASP) | Topology (TOP) |
|---|---|---|
| Basic concept | Primordial state | Limit |
| Central operator | $C$ (consciousness in $w_{\text{super}}$) | $\mathcal{L}$ (limes) |
| Accessibility | $R$ (reachability) | $\mathcal{N}$ (neighborhood) |
| Axioms | 5 | 5 |
| Structure of derivation | Direct (transfer from $w_{\text{super}}$) | Indirect (convergence) |

# Alternative 2 – Temporal Extension: Time Modes

## The Basic Idea

The superposition extension uses the concept **superposition**: A primordial state. The temporal extension uses instead the concept **time**: The Trinity as the limit of a temporal development.

**Metaphysical basic concepts:** Past, future, present, timelessness.

## The Language

We extend the language of S5 by:

- **$P$** (past): "It was the case that p."
- **$F$** (future): "It will be the case that p."
- **$N$** (present): "It is now the case that p."
- **$Z$** (timelessness): "It is timelessly the case that p."

## The Axioms of the Temporal Extension

$$\begin{aligned}
T1 &:= \Box(N p \rightarrow p) \\
T2 &:= \Box(P p \rightarrow \neg N p) \\
T3 &:= \Box(Z p \rightarrow \Box p) \\
T4 &:= \Box(\Diamond p \rightarrow (P p \lor N p \lor F p \lor Z p))
\end{aligned}$$

**Explanation:**

- T1: Present is real.
- T2: Past is not present.
- T3: Timelessness implies necessity.
- T4: Every possibility is temporally or timelessly located.

## Derivation of the Trinity

**Theorem TEMP-A:** In S5+T1–T4, $\Box\forall x\,Tr(x)$ holds.

**Proof:**

1. From A4 and A1, A11, A12: $\Diamond C$.
2. By T4, $\Diamond C$ is either $P C$, $N C$, $F C$, or $Z C$.
3. In each of these cases, from A13–A15, the Trinity holds in a neighborhood of the present.
4. The Trinity is timeless — i.e., $Z(U \land T \land S)$.
5. By T3: $\Box(U \land T \land S)$, i.e., $\Box\forall x\,Tr(x)$.

q.e.d.

## Comparison with the Superposition Extension

| Aspect | Superposition (ASP) | Temporality (TEMP) |
|---|---|---|
| Basic concept | Primordial state | Time |
| Central operators | $C$, $R$ | $P$, $F$, $N$, $Z$ |
| Structure of derivation | Direct | Via time modes |
| Axioms | 5 | 4 |

**Important:** The temporal extension uses **four** instead of five axioms. It is thus **axiomatically more parsimonious** than the superposition extension — another sign of non-uniqueness.

# Alternative 3 – Mereological Extension: Part-Whole Axioms

## The Basic Idea

The superposition extension uses the concept **superposition**: A primordial state. The mereological extension uses instead the concept **part-whole**: The Trinity as a whole that encompasses its parts.

**Metaphysical basic concepts:** Part, whole, sum, integration.

## The Language

We extend the language of S5 by:

- **$\preceq$** (part relation): "x is part of y."
- **$\Sigma$** (sum operator): "The sum of the x for which p(x) holds."

## The Axioms of the Mereological Extension

$$\begin{aligned}
MER1 &:= \Box\forall x (x \preceq x) \\
MER2 &:= \Box\forall x\forall y ((x \preceq y \land y \preceq x) \rightarrow x = y) \\
MER3 &:= \Box\forall x\forall y\forall z ((x \preceq y \land y \preceq z) \rightarrow x \preceq z) \\
MER4 &:= \Box\forall p(\exists x p(x) \rightarrow \exists z (z = \Sigma x . p(x))) \\
MER5 &:= \Box\forall x (x \preceq \Sigma y . Tr(y))
\end{aligned}$$

**Explanation:**

- MER1–MER3: Partial order (reflexivity, antisymmetry, transitivity).
- MER4: Existence of the sum for every non-empty property.
- MER5: Everything is part of the sum of Trinitarian individuals.

## Derivation of the Trinity

**Theorem MER-A:** In S5+MER1–MER5, $\Box\forall x\,Tr(x)$ holds.

**Proof:**

1. From MER4: There is a sum $\Sigma x . Tr(x)$.
2. From MER5: Every individual is part of this sum.
3. From A1 (monism): There are no fundamentally separated realms — so the sum is Totality T.
4. From MER2 (antisymmetry): The sum is unique.
5. From A13–A15 and the uniqueness of the sum: $\Box\forall x\,Tr(x)$.

q.e.d.

## Comparison with the Superposition Extension

| Aspect | Superposition (ASP) | Mereology (MER) |
|---|---|---|
| Basic concept | Primordial state | Part-whole |
| Central operators | $C$, $R$ | $\preceq$, $\Sigma$ |
| Structure of derivation | Via transfer | Via sum |
| Axioms | 5 | 5 |

# Comparison of the Three Alternatives

## What Do They Have in Common?

All three alternatives:

1. **Extend S5** by additional axioms.
2. **Derive the Trinitarian formula** $\Box\forall x\,Tr(x)$.
3. **Use monism** (A1) as their foundation.
4. **Are axiomatically non-redundant** — every axiom contributes to the derivation.

## What Distinguishes Them?

| Criterion | Superposition (ASP) | Topology (TOP) | Temporality (TEMP) | Mereology (MER) |
|---|---|---|---|---|
| Basic concept | Primordial state | Limit | Time | Part-whole |
| Central operators | $C$, $R$ | $\mathcal{L}$, $\mathcal{N}$ | $P$, $F$, $N$, $Z$ | $\preceq$, $\Sigma$ |
| Number of axioms | 5 | 5 | 4 | 5 |
| Structure of derivation | Transfer from $w_{\text{super}}$ | Convergence | Time modes | Sum |
| Metaphysical tradition | Schelling, Neoplatonism | Kant, topology | Augustine, Heidegger | Aristotle, Whitehead |
| Physical analogy | Quantum mechanics (superposition) | Limit in physics | Arrow of time | Mereology of physics |

## Structural Difference

The three alternatives are **structurally different**:

- **Superposition** locates the Trinity in a **primordial state**.
- **Topology** locates the Trinity in a **limit**.
- **Temporality** locates the Trinity in **timelessness**.
- **Mereology** locates the Trinity in the **sum** of all Trinitarian individuals.

These locations are not equivalent. They are different **perspectives** on the same structure.

# Synthesis: The Trinity Is Axiom-Invariant

## The Main Result

**Theorem SYN:** The Trinitarian formula $\Box\forall x\,Tr(x)$ is **axiom-invariant** in the sense that it follows from at least four systematically different extensions of S5.

**Proof:** Directly from Theorems TOP-A, TEMP-A, MER-A, and the result of `modal5.md`. q.e.d.

## What Follows?

**Consequence 1:** The Trinitarian structure is **not** bound to a particular metaphysical language. It is formulable in different languages.

**Consequence 2:** The choice of extension is **not** determined by the target statement alone. It depends on metaphysical, physical, or hermeneutic preferences.

**Consequence 3:** The question "Which extension is the right one?" is **not** a metalogical question. It is a metaphysical, physical, or hermeneutic question.

# What Follows from This?

## The Trinity Is Robust

The fact that the Trinitarian formula follows from **at least four** systematically different extensions shows: It is **robust** with respect to the choice of metaphysical language. It is not a consequence of a particular axiomatics, but a **structure** that recurs in different axiomatics.

## The Necessity of Supplementary Structure

What **remains** is the necessity of a supplementary structure at all. Pure S5 is not sufficient (according to `modal5.md`). The supplementary structure is **unavoidable** — but its **form** is not unique.

## We Stand at the Beginning of Infinity

There could be **further** systematically different extensions that we have not constructed. The question of **completeness** remains open. What we have shown is: There are **at least four**. Whether there are **exactly four** is an open question.

# Open Questions

## Question 1: Is There a Canonical Extension?

We have constructed four extensions. Is there one that is **canonical** — i.e., one that is **distinguished** for metaphysical or physical reasons?

**Possible answer:** The superposition extension is distinguished by its proximity to quantum mechanics. But this distinction is **physical**, not **metalogical**.

## Question 2: Are There Further Extensions?

We have constructed four. Are there **further** systematically different extensions?

**Possible answers:**

- An **information-theoretic** extension (information as basic concept).
- A **process-philosophical** extension (process as basic concept).
- A **phenomenological** extension (experience as basic concept).

## Question 3: What Is the Common Core?

All four extensions derive the Trinitarian formula. What is the **common core**?

**Possible answer:** The common core is the **necessity of a supplementary structure** at all. Pure S5 is not sufficient. But the form of the supplementary structure is variable.

## Question 4: Is Non-Uniqueness a Defect?

Is the fact that the Trinity follows from different extensions a **defect** or a **strength**?

**Answer:** It is a **strength**. It shows that the Trinitarian structure is not bound to a particular metaphysical language. It is **axiom-invariant**.

# Conclusion: What Has Been Shown?

The present investigation has shown:

1. **There are at least four systematically different extensions of S5** that derive the Trinitarian formula: superposition, topology, temporality, mereology.

2. **The Trinitarian formula is axiom-invariant.** It is not bound to a particular metaphysical language.

3. **The choice of extension is not determined by the target statement alone.** It depends on metaphysical, physical, or hermeneutic preferences.

4. **What remains is the necessity of a supplementary structure at all.** Pure S5 is not sufficient.

The central claim of this treatise is:

> **The Trinitarian structure is not bound to a particular metaphysical language. It follows from at least four systematically different extensions of S5. The choice of extension is a metaphysical, physical, or hermeneutic question — not a metalogical one.**

The question of whether there is a **canonical** extension remains open. It is the subject of **Modal 8** (Topological Modal Logic) and beyond.

# Appendix A: The Three Alternatives in an Overview

## Axioms

$$\begin{aligned}
\text{TOP} &:= \{TOP1, TOP2, TOP3, TOP4, TOP5\} \\
\text{TEMP} &:= \{T1, T2, T3, T4\} \\
\text{MER} &:= \{MER1, MER2, MER3, MER4, MER5\}
\end{aligned}$$

## Sufficiency

$$\begin{aligned}
& S5 + \text{TOP} \vdash \Box\forall x\,Tr(x) \\
& S5 + \text{TEMP} \vdash \Box\forall x\,Tr(x) \\
& S5 + \text{MER} \vdash \Box\forall x\,Tr(x) \\
& S5 + SP \vdash \Box\forall x\,Tr(x)
\end{aligned}$$

# Appendix B: Comparison of Extensions in a Table

| Criterion | Superposition | Topology | Temporality | Mereology |
|---|---|---|---|---|
| Basic concept | Primordial state | Limit | Time | Part-whole |
| Operators | $C$, $R$ | $\mathcal{L}$, $\mathcal{N}$ | $P$, $F$, $N$, $Z$ | $\preceq$, $\Sigma$ |
| Number of axioms | 5 | 5 | 4 | 5 |
| Metaphysical tradition | Schelling | Kant | Augustine | Aristotle |
| Physical analogy | QM | Topology | Arrow of time | Physics |

# Afterword

You have read this treatise. Perhaps the multiplicity of alternatives surprised you. Perhaps the idea of axiom-invariance impressed you. Both are fine.

The investigation has shown: The Trinitarian structure is **robust**. It follows from at least four systematically different extensions of S5. It is not bound to a particular metaphysical language.

This robustness is **not a defect**. It is an **insight**: The Trinitarian structure is not a consequence of a particular axiomatics, but a **structure** that recurs in different axiomatics.

What remains is the necessity of a **supplementary structure at all**. Pure S5 is not sufficient. The supplementary structure is unavoidable — but its form is variable.

One final question:

> **Do we dare the leap into openness to the limit — even though there are many paths that lead to it?**

::: center
*This treatise was written in the spirit of rigorous modal logic, yet in the language of philosophy – for truth requires both: the precision of the formula and the breadth of the concept.*
:::