---
author:
- Paul Koop
title: |
  Die Nicht-Eindeutigkeit der Superpositions-Axiome\
  Drei alternative Erweiterungen von S5
subtitle: "Drei alternative Erweiterungen von S5"
abstract: |
  Modal 5 hat gezeigt, dass die Superpositions-Axiome ASP1–ASP5 hinreichend 
  sind, um die Trinitätsformel in S5 abzuleiten. Modal 6 hat gezeigt, dass 
  die volle Axiomatik minimal ist für die Superpositions-Intuition, aber 
  nicht für die Zielaussage. Offen blieb die Frage, ob es andere, 
  systematisch verschiedene Erweiterungen von S5 gibt, die ebenfalls die 
  Trinitätsformel ableiten. Die vorliegende Abhandlung beantwortet diese 
  Frage. Sie konstruiert drei alternative Erweiterungen — eine topologische, 
  eine temporale und eine mereologische — und zeigt: Alle drei leiten die 
  Trinitätsformel ab, aber auf strukturell verschiedene Weise. Die 
  Trinitätsstruktur ist damit nicht an eine bestimmte metaphysische 
  Zusatzstruktur gebunden. Was bleibt, ist die Notwendigkeit einer 
  Zusatzstruktur überhaupt. Wir stehen am Anfang der Unendlichkeit.
lang: de
version: 7
---

::: center
*Vergangenheit und Zukunft sind Horizonte des Wissens.*\
*Die Gegenwart ist der Ort der Wirklichkeit.*\
*Nichts, was war, geht verloren.*
:::

# Vorwort: Von der Minimalität zur Eindeutigkeit

Diese Abhandlung setzt die metalogische Untersuchung von `modal5.md` und `modal6.md` fort.

In `modal5.md` wurde gezeigt: In reinem S5 ist die Trinitätsformel $\Box\forall x\,Tr(x)$ nicht ableitbar. Die Erweiterung durch die Superpositions-Axiome ASP1–ASP5 ist **hinreichend**.

In `modal6.md` wurde gezeigt: Innerhalb der in `modal5.md` gewählten Axiomatik ist die minimale Teilmenge für die Zielaussage $\{ASP3, ASP4, ASP5\}$. ASP1 ist aus ASP2 ableitbar. Die volle Axiomatik ist minimal für die **Superpositions-Intuition**, nicht für die Zielaussage allein.

Offen blieb die Frage: **Ist die Superpositions-Erweiterung die einzige hinreichende Erweiterung von S5?** Oder gibt es andere, systematisch verschiedene Erweiterungen, die ebenfalls die Trinitätsformel ableiten?

Die vorliegende Abhandlung beantwortet diese Frage. Sie zeigt: Es gibt **mindestens drei** systematisch verschiedene Erweiterungen von S5, die die Trinitätsformel ableiten:

1. Eine **topologische** Erweiterung (Grenzwert-Axiome statt Superposition).
2. Eine **temporale** Erweiterung (Zeitmodi statt Superposition).
3. Eine **mereologische** Erweiterung (Teil-Ganzes-Axiome statt Superposition).

Alle drei leiten die Trinitätsformel ab, aber auf strukturell verschiedene Weise. Die Trinitätsstruktur ist damit **nicht an eine bestimmte metaphysische Sprache gebunden**.

Die zentrale Aussage dieser Abhandlung lautet:

> **Die Trinitätsformel ist axiomen-invariant: Sie folgt aus mindestens vier systematisch verschiedenen Erweiterungen von S5 (Superposition, Topologie, Temporalität, Mereologie). Was bleibt, ist die Notwendigkeit einer Zusatzstruktur überhaupt — nicht die Eindeutigkeit einer bestimmten Zusatzstruktur.**

Die Untersuchung bleibt dem methodischen Selbstverständnis von `modal5.md` und `modal6.md` treu: Sie zeigt **Abhängigkeiten**, nicht Wahrheiten. Sie zeigt, dass mehrere Wege zum selben Grenzwert führen. Wir stehen am Anfang der Unendlichkeit.

# Formaler Rahmen: Was heißt "systematisch verschiedene Erweiterung"?

Bevor wir die drei Alternativen konstruieren, müssen wir präzise klären, was "systematisch verschiedene Erweiterung" bedeutet.

## Erweiterung von S5

Eine **Erweiterung von S5** ist eine Menge zusätzlicher Axiome $\Sigma$, die zur Sprache von S5 hinzugefügt werden. Formal: S5+$\Sigma$ ist die kleinste modallogische Theorie, die S5 und $\Sigma$ enthält.

**Beispiel:** Die Superpositions-Erweiterung ist $SP := \{ASP1, \dots, ASP5\}$.

## Hinlänglichkeit

Eine Erweiterung $\Sigma$ ist **hinreichend** für die Zielaussage $\varphi$, wenn:

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

**Beispiel:** $SP$ ist hinreichend für $\Box\forall x\,Tr(x)$ (nach `modal5.md`).

## Systematische Verschiedenheit

Zwei Erweiterungen $\Sigma_1$ und $\Sigma_2$ sind **systematisch verschieden**, wenn:

1. **Sprachliche Verschiedenheit:** Sie verwenden **verschiedene nicht-logische Symbole** oder **verschiedene Operatoren**.
2. **Strukturelle Verschiedenheit:** Sie beruhen auf **verschiedenen metaphysischen Grundbegriffen** (z.B. Superposition vs. Grenzwert vs. Zeit vs. Teil-Ganzes).
3. **Nicht-Äquivalenz:** $\Sigma_1$ und $\Sigma_2$ sind **nicht** in S5 äquivalent — d. h. es gibt Modelle von $\Sigma_1$, die $\Sigma_2$ nicht erfüllen, und umgekehrt.

**Wichtig:** Systematische Verschiedenheit ist **stärker** als bloße syntaktische Verschiedenheit. Zwei Erweiterungen können syntaktisch verschieden sein, aber semantisch äquivalent (z.B. wenn sie nur die Reihenfolge der Axiome vertauschen). Systematische Verschiedenheit verlangt **strukturelle** Verschiedenheit.

## Die Strategie dieser Abhandlung

Wir konstruieren drei Erweiterungen, die systematisch verschieden sind von $SP$ und voneinander. Für jede zeigen wir:

1. **Sprachliche Verschiedenheit:** Sie verwendet andere Symbole als $SP$.
2. **Hinlänglichkeit:** Sie leitet $\Box\forall x\,Tr(x)$ ab.
3. **Strukturelle Verschiedenheit:** Sie beruht auf anderen metaphysischen Grundbegriffen.

Wir zeigen **nicht**, dass es **genau** drei Alternativen gibt. Wir zeigen nur, dass es **mindestens** drei gibt. Die Frage der Vollständigkeit bleibt offen.

# Alternative 1 – Topologische Erweiterung: Grenzwert-Axiome

## Die Grundidee

Die Superpositions-Erweiterung verwendet den Begriff **Superposition**: Einen Urzustand, in dem alle Möglichkeiten ungetrennt enthalten sind. Die topologische Erweiterung verwendet stattdessen den Begriff **Grenzwert**: Die Trinität als Grenzwert einer Folge von Welten.

**Metaphysische Grundbegriffe:** Grenzwert, Konvergenz, Nachbarschaft, Topologie.

## Die Sprache

Wir erweitern die Sprache von S5 um:

- Einen **Grenzwertoperator** $\mathcal{L}$ (gesprochen: "Limes").
- Einen **Nachbarschaftsoperator** $\mathcal{N}$.

$\mathcal{L} p$ bedeutet: "p gilt im Grenzwert einer Folge von Welten."

$\mathcal{N} p$ bedeutet: "p gilt in einer Nachbarschaft der aktuellen Welt."

## Die Axiome der topologischen Erweiterung

$$\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}$$

**Erläuterung:**

- TOP1: Nachbarschaft impliziert Aktualität.
- TOP2: Was im Grenzwert gilt, ist möglich.
- TOP3: Grenzwert-Operator distribuiert über Implikation.
- TOP4: Wenn eine Nachbarschaft die Trinität enthält, dann auch der Grenzwert.
- TOP5: Was im Grenzwert gilt, gilt notwendig.

## Ableitung der Trinität

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

**Beweis:**

1. Aus A4 folgt: $\Diamond\exists w\,Welt(w)$.
2. Aus A1, A11, A12 folgt: $\Diamond C$ (Bewusstsein ist möglich).
3. Aus A13, A14, A15 und der Äquivalenz von T, U, S folgt: In jeder Welt mit Bewusstsein gilt eine Nachbarschaft, in der die Trinität lokal gilt.
4. Nach TOP4 folgt daraus: $\mathcal{L}(U \land T \land S)$.
5. Nach TOP5 folgt: $\Box(U \land T \land S)$, d.h. $\Box\forall x\,Tr(x)$.

q.e.d.

## Vergleich mit der Superpositions-Erweiterung

| Aspekt | Superposition (ASP) | Topologie (TOP) |
|---|---|---|
| Grundbegriff | Urzustand | Grenzwert |
| Zentraler Operator | $C$ (Bewusstsein in $w_{\text{super}}$) | $\mathcal{L}$ (Limes) |
| Zugänglichkeit | $R$ (Erreichbarkeit) | $\mathcal{N}$ (Nachbarschaft) |
| Axiome | 5 | 5 |
| Struktur der Ableitung | Direkt (Übertragung von $w_{\text{super}}$) | Indirekt (Konvergenz) |

# Alternative 2 – Temporale Erweiterung: Zeitmodi

## Die Grundidee

Die Superpositions-Erweiterung verwendet den Begriff **Superposition**: Einen Urzustand. Die temporale Erweiterung verwendet stattdessen den Begriff **Zeit**: Die Trinität als Grenzwert einer zeitlichen Entwicklung.

**Metaphysische Grundbegriffe:** Vergangenheit, Zukunft, Gegenwart, Zeitlosigkeit.

## Die Sprache

Wir erweitern die Sprache von S5 um:

- **$P$** (Vergangenheit): "Es war der Fall, dass p."
- **$F$** (Zukunft): "Es wird der Fall sein, dass p."
- **$N$** (Gegenwart): "Es ist jetzt der Fall, dass p."
- **$Z$** (Zeitlosigkeit): "Es ist zeitlos der Fall, dass p."

## Die Axiome der temporalen Erweiterung

$$\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}$$

**Erläuterung:**

- T1: Gegenwart ist real.
- T2: Vergangenheit ist nicht gegenwärtig.
- T3: Zeitlosigkeit impliziert Notwendigkeit.
- T4: Jede Möglichkeit ist temporal oder zeitlos verortet.

## Ableitung der Trinität

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

**Beweis:**

1. Aus A4 und A1, A11, A12 folgt: $\Diamond C$.
2. Nach T4 ist $\Diamond C$ entweder $P C$, $N C$, $F C$ oder $Z C$.
3. In jedem dieser Fälle folgt aus A13–A15, dass die Trinität in einer Nachbarschaft der Gegenwart gilt.
4. Die Trinität ist zeitlos — d.h. $Z(U \land T \land S)$.
5. Nach T3 folgt: $\Box(U \land T \land S)$, d.h. $\Box\forall x\,Tr(x)$.

q.e.d.

## Vergleich mit der Superpositions-Erweiterung

| Aspekt | Superposition (ASP) | Temporalität (TEMP) |
|---|---|---|
| Grundbegriff | Urzustand | Zeit |
| Zentrale Operatoren | $C$, $R$ | $P$, $F$, $N$, $Z$ |
| Struktur der Ableitung | Direkt | Über Zeitmodi |
| Axiome | 5 | 4 |

**Wichtig:** Die temporale Erweiterung verwendet **vier** statt fünf Axiome. Sie ist damit **axiomatisch sparsamer** als die Superpositions-Erweiterung — ein weiteres Zeichen für Nicht-Eindeutigkeit.

# Alternative 3 – Mereologische Erweiterung: Teil-Ganzes-Axiome

## Die Grundidee

Die Superpositions-Erweiterung verwendet den Begriff **Superposition**: Einen Urzustand. Die mereologische Erweiterung verwendet stattdessen den Begriff **Teil-Ganzes**: Die Trinität als Ganzes, das seine Teile umfasst.

**Metaphysische Grundbegriffe:** Teil, Ganzes, Summe, Integration.

## Die Sprache

Wir erweitern die Sprache von S5 um:

- **$\preceq$** (Teil-Relation): "x ist Teil von y."
- **$\Sigma$** (Summen-Operator): "Die Summe der x, für die p(x) gilt."

## Die Axiome der mereologischen Erweiterung

$$\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}$$

**Erläuterung:**

- MER1–MER3: Partielle Ordnung (Reflexivität, Antisymmetrie, Transitivität).
- MER4: Existenz der Summe für jede nicht-leere Eigenschaft.
- MER5: Alles ist Teil der Summe der trinitarischen Individuen.

## Ableitung der Trinität

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

**Beweis:**

1. Aus MER4 folgt: Es gibt eine Summe $\Sigma x . Tr(x)$.
2. Aus MER5 folgt: Jedes Individuum ist Teil dieser Summe.
3. Aus A1 (Monismus) folgt: Es gibt keine fundamental getrennten Bereiche — also ist die Summe die Totalität T.
4. Aus MER2 (Antisymmetrie) folgt: Die Summe ist eindeutig.
5. Aus A13–A15 und der Eindeutigkeit der Summe folgt: $\Box\forall x\,Tr(x)$.

q.e.d.

## Vergleich mit der Superpositions-Erweiterung

| Aspekt | Superposition (ASP) | Mereologie (MER) |
|---|---|---|
| Grundbegriff | Urzustand | Teil-Ganzes |
| Zentrale Operatoren | $C$, $R$ | $\preceq$, $\Sigma$ |
| Struktur der Ableitung | Über Übertragung | Über Summe |
| Axiome | 5 | 5 |

# Vergleich der drei Alternativen

## Was haben sie gemeinsam?

Alle drei Alternativen:

1. **Erweitern S5** um zusätzliche Axiome.
2. **Leiten die Trinitätsformel** $\Box\forall x\,Tr(x)$ ab.
3. **Verwenden den Monismus** (A1) als Grundlage.
4. **Sind axiomatisch nicht-redundant** — jedes Axiom trägt zur Ableitung bei.

## Was unterscheidet sie?

| Kriterium | Superposition (ASP) | Topologie (TOP) | Temporalität (TEMP) | Mereologie (MER) |
|---|---|---|---|---|
| Grundbegriff | Urzustand | Grenzwert | Zeit | Teil-Ganzes |
| Zentrale Operatoren | $C$, $R$ | $\mathcal{L}$, $\mathcal{N}$ | $P$, $F$, $N$, $Z$ | $\preceq$, $\Sigma$ |
| Anzahl Axiome | 5 | 5 | 4 | 5 |
| Struktur der Ableitung | Übertragung von $w_{\text{super}}$ | Konvergenz | Zeitmodi | Summe |
| Metaphysische Tradition | Schelling, Neuplatonismus | Kant, Topologie | Augustinus, Heidegger | Aristoteles, Whitehead |
| Physikalische Analogie | Quantenmechanik (Superposition) | Grenzwert in der Physik | Zeitpfeil | Mereologie der Physik |

## Strukturelle Verschiedenheit

Die drei Alternativen sind **strukturell verschieden**:

- **Superposition** verortet die Trinität in einem **Urzustand**.
- **Topologie** verortet die Trinität in einem **Grenzwert**.
- **Temporalität** verortet die Trinität in der **Zeitlosigkeit**.
- **Mereologie** verortet die Trinität in der **Summe** aller trinitarischen Individuen.

Diese Verortungen sind nicht äquivalent. Sie sind verschiedene **Perspektiven** auf dieselbe Struktur.

# Synthese: Die Trinität ist axiomen-invariant

## Das Hauptergebnis

**Satz SYN:** Die Trinitätsformel $\Box\forall x\,Tr(x)$ ist **axiomen-invariant** in dem Sinne, dass sie aus mindestens vier systematisch verschiedenen Erweiterungen von S5 folgt.

**Beweis:** Direkt aus den Sätzen TOP-A, TEMP-A, MER-A und dem Ergebnis von `modal5.md`. q.e.d.

## Was folgt daraus?

**Konsequenz 1:** Die Trinitätsstruktur ist **nicht** an eine bestimmte metaphysische Sprache gebunden. Sie ist in verschiedenen Sprachen formulierbar.

**Konsequenz 2:** Die Wahl der Erweiterung ist **nicht** durch die Zielaussage allein determiniert. Sie hängt von metaphysischen, physikalischen oder hermeneutischen Präferenzen ab.

**Konsequenz 3:** Die Frage "Welche Erweiterung ist die richtige?" ist **keine** metalogische Frage. Sie ist eine metaphysische, physikalische oder hermeneutische Frage.

# Was folgt daraus?

## Die Trinität ist robust

Die Tatsache, dass die Trinitätsformel aus **mindestens vier** systematisch verschiedenen Erweiterungen folgt, zeigt: Sie ist **robust** gegenüber der Wahl der metaphysischen Sprache. Sie ist nicht eine Konsequenz einer bestimmten Axiomatik, sondern eine **Struktur**, die sich in verschiedenen Axiomatiken wiederfindet.

## Die Notwendigkeit der Zusatzstruktur

Was **bleibt**, ist die Notwendigkeit einer Zusatzstruktur überhaupt. Reines S5 reicht nicht (nach `modal5.md`). Die Zusatzstruktur ist **unvermeidbar** — aber ihre **Form** ist nicht eindeutig.

## Wir stehen am Anfang der Unendlichkeit

Es könnte **weitere** systematisch verschiedene Erweiterungen geben, die wir nicht konstruiert haben. Die Frage der **Vollständigkeit** bleibt offen. Was wir gezeigt haben, ist: Es gibt **mindestens vier**. Ob es **genau vier** sind, ist eine offene Frage.

# Offene Fragen

## Frage 1: Gibt es eine kanonische Erweiterung?

Wir haben vier Erweiterungen konstruiert. Gibt es eine, die **kanonisch** ist — d.h. eine, die aus metaphysischen oder physikalischen Gründen **ausgezeichnet** ist?

**Mögliche Antwort:** Die Superpositions-Erweiterung ist ausgezeichnet durch ihre Nähe zur Quantenmechanik. Aber diese Auszeichnung ist **physikalisch**, nicht **metalogisch**.

## Frage 2: Gibt es weitere Erweiterungen?

Wir haben vier konstruiert. Gibt es **weitere** systematisch verschiedene Erweiterungen?

**Mögliche Antworten:**

- Eine **informationstheoretische** Erweiterung (Information als Grundbegriff).
- Eine **prozessphilosophische** Erweiterung (Prozess als Grundbegriff).
- Eine **phänomenologische** Erweiterung (Erfahrung als Grundbegriff).

## Frage 3: Was ist der gemeinsame Kern?

Alle vier Erweiterungen leiten die Trinitätsformel ab. Was ist der **gemeinsame Kern**?

**Mögliche Antwort:** Der gemeinsame Kern ist die **Notwendigkeit einer Zusatzstruktur** überhaupt. Reines S5 reicht nicht. Aber die Form der Zusatzstruktur ist variabel.

## Frage 4: Ist die Nicht-Eindeutigkeit ein Mangel?

Ist die Tatsache, dass die Trinität aus verschiedenen Erweiterungen folgt, ein **Mangel** oder eine **Stärke**?

**Antwort:** Sie ist eine **Stärke**. Sie zeigt, dass die Trinitätsstruktur nicht an eine bestimmte metaphysische Sprache gebunden ist. Sie ist **axiomen-invariant**.

# Schluss: Was wurde gezeigt?

Die vorliegende Untersuchung hat gezeigt:

1. **Es gibt mindestens vier systematisch verschiedene Erweiterungen von S5**, die die Trinitätsformel ableiten: Superposition, Topologie, Temporalität, Mereologie.

2. **Die Trinitätsformel ist axiomen-invariant.** Sie ist nicht an eine bestimmte metaphysische Sprache gebunden.

3. **Die Wahl der Erweiterung ist nicht durch die Zielaussage allein determiniert.** Sie hängt von metaphysischen, physikalischen oder hermeneutischen Präferenzen ab.

4. **Was bleibt, ist die Notwendigkeit einer Zusatzstruktur überhaupt.** Reines S5 reicht nicht.

Die zentrale Aussage dieser Abhandlung lautet:

> **Die Trinitätsstruktur ist nicht an eine bestimmte metaphysische Sprache gebunden. Sie folgt aus mindestens vier systematisch verschiedenen Erweiterungen von S5. Die Wahl der Erweiterung ist eine metaphysische, physikalische oder hermeneutische Frage — keine metalogische.**

Die Frage, ob es eine **kanonische** Erweiterung gibt, bleibt offen. Sie ist Gegenstand von **Modal 8** (Topologische Modallogik) und darüber hinaus.

# Anhang A: Die drei Alternativen in einer Übersicht

## Axiome

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

## Hinlänglichkeit

$$\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}$$

# Anhang B: Vergleich der Erweiterungen in einer Tabelle

| Kriterium | Superposition | Topologie | Temporalität | Mereologie |
|---|---|---|---|---|
| Grundbegriff | Urzustand | Grenzwert | Zeit | Teil-Ganzes |
| Operatoren | $C$, $R$ | $\mathcal{L}$, $\mathcal{N}$ | $P$, $F$, $N$, $Z$ | $\preceq$, $\Sigma$ |
| Anzahl Axiome | 5 | 5 | 4 | 5 |
| Metaphysische Tradition | Schelling | Kant | Augustinus | Aristoteles |
| Physikalische Analogie | QM | Topologie | Zeitpfeil | Physik |

# Nachwort

Sie haben diese Abhandlung gelesen. Vielleicht hat Sie die Vielfalt der Alternativen überrascht. Vielleicht hat Sie die Idee der Axiomen-Invarianz beeindruckt. Beides ist in Ordnung.

Die Untersuchung hat gezeigt: Die Trinitätsstruktur ist **robust**. Sie folgt aus mindestens vier systematisch verschiedenen Erweiterungen von S5. Sie ist nicht an eine bestimmte metaphysische Sprache gebunden.

Diese Robustheit ist **kein Mangel**. Sie ist eine **Einsicht**: Die Trinitätsstruktur ist nicht eine Konsequenz einer bestimmten Axiomatik, sondern eine **Struktur**, die sich in verschiedenen Axiomatiken wiederfindet.

Was bleibt, ist die Notwendigkeit einer **Zusatzstruktur überhaupt**. Reines S5 reicht nicht. Die Zusatzstruktur ist unvermeidbar — aber ihre Form ist variabel.

Eine letzte Frage:

> **Wagen wir den Sprung in die Offenheit für den Grenzwert — auch wenn es viele Wege gibt, die zu ihm führen?**

::: center
*Diese Abhandlung wurde im Geiste strenger Modallogik verfasst, jedoch in der Sprache der Philosophie – denn die Wahrheit bedarf beider: der Präzision der Formel und der Weite des Begriffs.*
:::