% Options for packages loaded elsewhere
\PassOptionsToPackage{unicode}{hyperref}
\PassOptionsToPackage{hyphens}{url}
\PassOptionsToPackage{dvipsnames,svgnames,x11names}{xcolor}
\documentclass[
  ngerman,
  11pt,
]{article}
\usepackage{xcolor}
\usepackage[margin=2.5cm]{geometry}
\usepackage{amsmath,amssymb}
\setcounter{secnumdepth}{-\maxdimen} % remove section numbering
\usepackage{iftex}
\ifPDFTeX
  \usepackage[T1]{fontenc}
  \usepackage[utf8]{inputenc}
  \usepackage{textcomp} % provide euro and other symbols
\else % if luatex or xetex
  \usepackage{unicode-math} % this also loads fontspec
  \defaultfontfeatures{Scale=MatchLowercase}
  \defaultfontfeatures[\rmfamily]{Ligatures=TeX,Scale=1}
\fi
\usepackage{lmodern}
\ifPDFTeX\else
  % xetex/luatex font selection
\fi
% Use upquote if available, for straight quotes in verbatim environments
\IfFileExists{upquote.sty}{\usepackage{upquote}}{}
\IfFileExists{microtype.sty}{% use microtype if available
  \usepackage[]{microtype}
  \UseMicrotypeSet[protrusion]{basicmath} % disable protrusion for tt fonts
}{}
\makeatletter
\@ifundefined{KOMAClassName}{% if non-KOMA class
  \IfFileExists{parskip.sty}{%
    \usepackage{parskip}
  }{% else
    \setlength{\parindent}{0pt}
    \setlength{\parskip}{6pt plus 2pt minus 1pt}}
}{% if KOMA class
  \KOMAoptions{parskip=half}}
\makeatother
\usepackage{longtable,booktabs,array}
\usepackage{calc} % for calculating minipage widths
% Correct order of tables after \paragraph or \subparagraph
\usepackage{etoolbox}
\makeatletter
\patchcmd\longtable{\par}{\if@noskipsec\mbox{}\fi\par}{}{}
\makeatother
% Allow footnotes in longtable head/foot
\IfFileExists{footnotehyper.sty}{\usepackage{footnotehyper}}{\usepackage{footnote}}
\makesavenoteenv{longtable}
\ifLuaTeX
\usepackage[bidi=basic,shorthands=off,]{babel}
\else
\usepackage[bidi=default,shorthands=off,]{babel}
\fi
\ifLuaTeX
  \usepackage{selnolig} % disable illegal ligatures
\fi
\setlength{\emergencystretch}{3em} % prevent overfull lines
\providecommand{\tightlist}{%
  \setlength{\itemsep}{0pt}\setlength{\parskip}{0pt}}
\usepackage{bookmark}
\IfFileExists{xurl.sty}{\usepackage{xurl}}{} % add URL line breaks if available
\urlstyle{same}
\hypersetup{
  pdftitle={Unitarität als Theorem Modallogik der Informationserhaltung},
  pdfauthor={Paul Koop},
  pdflang={de},
  colorlinks=true,
  linkcolor={blue},
  filecolor={Maroon},
  citecolor={Blue},
  urlcolor={Blue},
  pdfcreator={LaTeX via pandoc}}

\title{Unitarität als Theorem\\
Modallogik der Informationserhaltung}
\usepackage{etoolbox}
\makeatletter
\providecommand{\subtitle}[1]{% add subtitle to \maketitle
  \apptocmd{\@title}{\par {\large #1 \par}}{}{}
}
\makeatother
\subtitle{Modallogik der Informationserhaltung}
\author{Paul Koop}
\date{}

\begin{document}
\maketitle
\begin{abstract}
In modal5.md (Teil III) und Unitaritaet.md wird die Auferstehung aus den
Axiomen A16--A20 abgeleitet. Diese Axiome sind stark. Die vorliegende
Abhandlung zeigt: Unitarität lässt sich aus schwächeren Annahmen
ableiten. Sie führt einen Operator I (``Information ist erhalten'') ein,
axiomatisiert drei minimale Prinzipien U1--U3 und beweist: Aus U1--U3
folgt die Auferstehung als Theorem. Die Unitarität ist damit keine
zusätzliche Annahme, sondern die Struktur der Totalität T selbst: ∀γ ⊆ T
: γ ∈ T. Der ``Eingriff'' des Omega-Punkts in Wege, die nicht zu ihm
gelangen, ist strukturell, nicht zeitlich. Was aus der Perspektive eines
Weges wie Verlust erscheint, ist aus der Perspektive von S Integration.
\end{abstract}

{
\hypersetup{linkcolor=}
\setcounter{tocdepth}{3}
\tableofcontents
}
\emph{Vergangenheit und Zukunft sind Horizonte des Wissens.}\\
\emph{Die Gegenwart ist der Ort der Wirklichkeit.}\\
\emph{Nichts, was war, geht verloren.}

\section{Vorwort: Von den starken Axiomen zu schwächeren
Prinzipien}\label{vorwort-von-den-starken-axiomen-zu-schwuxe4cheren-prinzipien}

In \texttt{modal5.md} (Teil III) wurde die Auferstehung aus den Axiomen
A16--A20 abgeleitet:

\[\begin{aligned}
A16 &:= \forall c(\text{Bewusstsein}(c) \rightarrow \text{integriert}(c, S)) \\
A17 &:= \forall c(\text{Wissen}(c, S) \leftrightarrow \text{integriert}(c, S)) \\
A18 &:= \Box\forall I(\text{Existenz}(I) \rightarrow \text{Erhaltung}(I)) \\
A19 &:= \forall c(\text{Tod}(c) \rightarrow \text{Integration}(c, S)) \\
A20 &:= \forall c(\text{Wissen}(c, S) \leftrightarrow \text{Existenz}(c))
\end{aligned}\]

Diese Axiome sind \textbf{stark}. Sie setzen voraus, dass \textbf{alle}
Bewusstseine in \(S\) integriert sind, dass \textbf{alle} Information
erhalten bleibt, dass der Tod \textbf{immer} Integration ist.

Die vorliegende Abhandlung zeigt: \textbf{Unitarität lässt sich aus
schwächeren Annahmen ableiten.} Sie führt einen Operator \(\mathcal{I}\)
ein (``Information ist erhalten''), axiomatisiert drei minimale
Prinzipien U1--U3 und beweist: Aus U1--U3 folgt die Auferstehung als
\textbf{Theorem}.

Die zentrale Aussage dieser Abhandlung lautet:

\begin{quote}
\textbf{Unitarität ist keine zusätzliche Annahme. Sie ist die Struktur
der Totalität \(T\) selbst. Aus ihr folgt die Auferstehung als logische
Notwendigkeit --- nicht als moralisches Versprechen, sondern als
Konsequenz der Informationserhaltung.}
\end{quote}

Die Untersuchung bleibt dem Selbstverständnis von \texttt{modal5.md}
treu: Sie zeigt \textbf{Abhängigkeiten}, nicht Wahrheiten. Sie zeigt,
dass die Auferstehung aus schwächeren Annahmen folgt.

\section{Der Operator I: Definition und
Axiome}\label{der-operator-i-definition-und-axiome}

\subsection{Die Grundidee}\label{die-grundidee}

Der Operator \(\mathcal{I}\) formalisiert den Begriff der
\textbf{Informationserhaltung}. Er ist \textbf{kein} moralischer
Begriff, sondern ein \textbf{struktureller}.

\textbf{Intuition:} ``\(\mathcal{I} p\)'' bedeutet: ``Die Information
über \(p\) bleibt erhalten.''

\subsection{Die Sprache}\label{die-sprache}

Wir erweitern die Sprache von S5 um:

\begin{itemize}
\tightlist
\item
  Einen \textbf{einstelligen Operator} \(\mathcal{I}\) (gesprochen:
  ``Information'').
\end{itemize}

\[\mathcal{I} p @ w \iff \text{die Information über } p \text{ bleibt in } w \text{ erhalten}\]

\subsection{Die Axiome}\label{die-axiome}

\[\begin{aligned}
I1 &:= \Box(\mathcal{I} p \rightarrow \Diamond p) \\
I2 &:= \Box(\mathcal{I}(p \land q) \leftrightarrow (\mathcal{I} p \land \mathcal{I} q)) \\
I3 &:= \Box(\mathcal{I}\neg p \leftrightarrow \neg\mathcal{I} p) \\
I4 &:= \Box(\mathcal{I} p \rightarrow \Box \mathcal{I} p)
\end{aligned}\]

\textbf{Erläuterung:}

\begin{itemize}
\tightlist
\item
  I1: Was erhalten bleibt, ist möglich.
\item
  I2: Erhaltung distribuiert über Konjunktion.
\item
  I3: Erhaltung ist komplementär --- die Information über \(\neg p\) ist
  erhalten genau dann, wenn die Information über \(p\) erhalten ist.
\item
  I4: Erhaltung ist notwendig, wenn sie gilt.
\end{itemize}

\textbf{Wichtig:} \(\mathcal{I}\) ist \textbf{kein} normaler Operator.
Er erfüllt \textbf{nicht} das Kripke-Axiom \(K\). Stattdessen erfüllt er
die \textbf{Informationsaxiome} I1--I4.

\section{Die drei Prinzipien U1--U3}\label{die-drei-prinzipien-u1u3}

\subsection{U1: Realisierung impliziert mögliche
Rekonstruktion}\label{u1-realisierung-impliziert-muxf6gliche-rekonstruktion}

\[\boxed{U1 := \Box\forall p(\text{Realisiert}(p) \rightarrow \mathcal{I} p)}\]

\textbf{Lesart:} Wenn \(p\) realisiert ist, dann ist die Information
über \(p\) erhalten.

\textbf{Metaphysische Bedeutung:} Was einmal wirklich war, kann nicht
vollständig verschwinden. Es bleibt als Information erhalten --- auch
wenn die ursprüngliche Form verloren geht.

\textbf{Formale Konsequenz:} Aus U1 und I1 folgt:
\(\text{Realisiert}(p) \rightarrow \Diamond p\). Das ist trivial. Aus U1
und I4 folgt: \(\text{Realisiert}(p) \rightarrow \Box \mathcal{I} p\).
Das ist stärker: Die Erhaltung der Information über \(p\) ist notwendig.

\subsection{U2: Tod ist lokaler
Zugriffsverlust}\label{u2-tod-ist-lokaler-zugriffsverlust}

\[\boxed{U2 := \Box\forall c(\text{Tod}(c) \rightarrow \neg\Diamond_{\text{lokal}} \text{Zugriff}(c))}\]

\textbf{Lesart:} Der Tod eines Bewusstseins \(c\) ist der Verlust des
\textbf{lokalen} Zugriffs auf \(c\).

\textbf{Metaphysische Bedeutung:} Der Tod ist \textbf{kein} Auslöschung.
Er ist ein \textbf{Zugriffsverlust}. Aus der Perspektive von \(c\)
erscheint er als Ende. Aus der Perspektive von \(S\) ist er ein
Übergang.

\textbf{Formale Konsequenz:} Aus U2 und U1 folgt:
\(\text{Tod}(c) \rightarrow \mathcal{I} c\). Die Information über \(c\)
bleibt erhalten, auch wenn \(c\) lokal nicht mehr zugänglich ist.

\subsection{U3: Globale Integration ist
möglich}\label{u3-globale-integration-ist-muxf6glich}

\[\boxed{U3 := \Box\forall c(\text{Tod}(c) \rightarrow \Diamond_{\text{global}} \text{Integration}(c, S))}\]

\textbf{Lesart:} Der Tod eines Bewusstseins \(c\) macht seine
\textbf{globale} Integration in \(S\) möglich.

\textbf{Metaphysische Bedeutung:} Der Tod ist \textbf{nicht das Ende}.
Er ist die Bedingung der Möglichkeit der Integration. Was lokal verloren
geht, wird global integriert.

\textbf{Formale Konsequenz:} Aus U2, U3 und U1 folgt:
\(\text{Tod}(c) \rightarrow \Diamond_{\text{global}} \text{Integration}(c, S)\).

\section{Beweis: Unitarität impliziert
Auferstehung}\label{beweis-unitarituxe4t-impliziert-auferstehung}

\subsection{Der Hauptsatz}\label{der-hauptsatz}

\textbf{Satz U-A:} In S5+U1--U3 gilt:

\[\Box\forall c(\text{Bewusstsein}(c) \rightarrow \Box\Diamond\text{Auferstehung}(c))\]

\subsection{Der Beweis}\label{der-beweis}

\textbf{Schritt 1:} Sei \(c\) ein beliebiges Bewusstsein.

\[\text{Bewusstsein}(c)\]

\textbf{Schritt 2:} Wir nehmen an, dass \(c\) stirbt.

\[\text{Tod}(c)\]

\textbf{Schritt 3:} Aus U2 folgt:

\[\neg\Diamond_{\text{lokal}} \text{Zugriff}(c)\]

Der lokale Zugriff auf \(c\) ist verloren.

\textbf{Schritt 4:} Aus U1 und Schritt 2 folgt:

\[\mathcal{I} c\]

Die Information über \(c\) bleibt erhalten.

\textbf{Schritt 5:} Aus U3 und Schritt 2 folgt:

\[\Diamond_{\text{global}} \text{Integration}(c, S)\]

Die globale Integration von \(c\) in \(S\) ist möglich.

\textbf{Schritt 6:} Wir definieren:

\[\text{Auferstehung}(c) := \text{Integration}(c, S)\]

\textbf{Schritt 7:} Aus Schritt 5 und 6 folgt:

\[\Diamond \text{Auferstehung}(c)\]

\textbf{Schritt 8:} Da die Schritte 2--7 für \textbf{jedes} \(c\)
gelten, das stirbt, und da jedes Bewusstsein stirbt (empirische
Tatsache), folgt:

\[\forall c(\text{Bewusstsein}(c) \rightarrow \Diamond \text{Auferstehung}(c))\]

\textbf{Schritt 9:} Mit Necessitation:

\[\Box\forall c(\text{Bewusstsein}(c) \rightarrow \Diamond \text{Auferstehung}(c))\]

q.e.d.

\subsection{Was der Beweis zeigt}\label{was-der-beweis-zeigt}

Der Beweis zeigt:

\begin{enumerate}
\def\labelenumi{\arabic{enumi}.}
\tightlist
\item
  Die Auferstehung folgt \textbf{nicht} aus moralischen Annahmen.
\item
  Die Auferstehung folgt aus \textbf{strukturellen} Annahmen:
  Informationserhaltung, Zugriffsverlust, Integrationsmöglichkeit.
\item
  Die Auferstehung ist eine \textbf{logische Notwendigkeit} --- unter
  den Annahmen U1--U3.
\end{enumerate}

\subsection{Was der Beweis nicht
zeigt}\label{was-der-beweis-nicht-zeigt}

Der Beweis zeigt \textbf{nicht}:

\begin{enumerate}
\def\labelenumi{\arabic{enumi}.}
\tightlist
\item
  Dass die Auferstehung \textbf{tatsächlich} stattfindet.
\item
  Dass die Auferstehung \textbf{zeitlich} stattfindet.
\item
  Dass die Auferstehung \textbf{moralisch} gerechtfertigt ist.
\end{enumerate}

Der Beweis zeigt nur: Unter den Annahmen U1--U3 folgt die Möglichkeit
der Auferstehung für jedes Bewusstsein.

\section{Die Unitarität als Struktur von
T}\label{die-unitarituxe4t-als-struktur-von-t}

\subsection{Die zentrale Einsicht}\label{die-zentrale-einsicht}

Die Unitarität ist \textbf{keine} zusätzliche Annahme. Sie ist die
\textbf{Struktur} der Totalität \(T\) selbst.

\textbf{Formal:}

\[\boxed{\forall \gamma \subseteq T : \gamma \in T}\]

\textbf{Lesart:} Für jeden Weg \(\gamma\), der Teilmenge von \(T\) ist,
gilt: \(\gamma\) ist ein Element von \(T\).

\textbf{Metaphysische Bedeutung:} Die Totalität \(T\) enthält
\textbf{alle} Wege --- auch die, die nicht zum Omega-Punkt gelangen. Es
gibt \textbf{kein Entweichen} aus \(T\). Was in \(T\) geschieht, bleibt
in \(T\).

\subsection{Die Konsequenz}\label{die-konsequenz}

Wenn die Unitarität die Struktur von \(T\) selbst ist, dann folgt:

\begin{enumerate}
\def\labelenumi{\arabic{enumi}.}
\tightlist
\item
  \textbf{Keine Information geht verloren.} Denn Verlust würde bedeuten,
  dass ein Weg \(\gamma\) aus \(T\) herausfällt. Das ist unmöglich.
\item
  \textbf{Alle Wege bleiben erhalten.} Auch die, die nicht zum
  Omega-Punkt gelangen.
\item
  \textbf{Die Integration ist strukturell, nicht zeitlich.} Was aus der
  Perspektive eines Weges wie Verlust erscheint, ist aus der Perspektive
  von \(T\) Erhaltung.
\end{enumerate}

\subsection{Der ``Eingriff'' des
Omega-Punkts}\label{der-eingriff-des-omega-punkts}

Der ``Eingriff'' des Omega-Punkts in Wege, die nicht zu ihm gelangen,
ist \textbf{strukturell}, nicht \textbf{zeitlich}:

\begin{itemize}
\tightlist
\item
  \textbf{Strukturell:} \(T\) enthält alle Wege. Die Integration ist
  \textbf{immer schon} geschehen.
\item
  \textbf{Nicht zeitlich:} Es gibt keinen Zeitpunkt, an dem der
  Omega-Punkt ``eingreift''. Er ist die \textbf{Form} von \(T\).
\end{itemize}

\textbf{Formale Fassung:}

\[\forall \gamma \subseteq T : \gamma \in T \Rightarrow \text{Integration}(\gamma, S)\]

\textbf{Konsequenz:} Aus der Perspektive eines Weges erscheint die
Integration als \textbf{Eingriff von außen}. Aus der Perspektive von
\(S\) ist sie \textbf{Selbsterkenntnis}.

\section{Vergleich mit A16--A20: Was ist gewonnen, was
verloren?}\label{vergleich-mit-a16a20-was-ist-gewonnen-was-verloren}

\subsection{Was ist gewonnen?}\label{was-ist-gewonnen}

\textbf{1. Schwächere Annahmen.} A16--A20 setzen voraus, dass alle
Bewusstseine in \(S\) integriert sind. U1--U3 setzen nur voraus, dass
Informationserhaltung strukturell ist.

\textbf{2. Strukturelle Fundierung.} A16--A20 sind \textbf{axiomatisch}.
U1--U3 sind \textbf{strukturell} --- sie beschreiben die Form von \(T\).

\textbf{3. Auferstehung als Theorem.} Bei A16--A20 ist die Auferstehung
ein Theorem aus starken Annahmen. Bei U1--U3 ist sie ein Theorem aus
schwachen Annahmen.

\textbf{4. Anschlussfähigkeit.} U1--U3 sind anschlussfähig an
physikalische Konzepte (Informationserhaltung in der Quantenmechanik).
A16--A20 sind primär theologisch.

\subsection{Was ist verloren?}\label{was-ist-verloren}

\textbf{1. Direktheit.} A16--A20 sind direkt. U1--U3 brauchen den Umweg
über den Operator \(\mathcal{I}\).

\textbf{2. Explizitheit.} A16--A20 sprechen direkt von Bewusstsein, Tod,
Integration. U1--U3 sprechen von Informationserhaltung.

\textbf{3. Theologische Sprache.} A16--A20 stehen in einer theologischen
Tradition. U1--U3 stehen in einer strukturellen Tradition.

\subsection{Was bleibt?}\label{was-bleibt}

\textbf{1. Die Auferstehung ist ein Theorem.} In beiden Fällen.

\textbf{2. Die Unitarität ist fundamental.} In beiden Fällen.

\textbf{3. Die Integration ist strukturell.} In beiden Fällen.

\subsection{Fazit}\label{fazit}

Die U1--U3 sind \textbf{stärker} in ihrer Reichweite und
\textbf{schwächer} in ihren Annahmen. Sie sind daher
\textbf{vorzuziehen}, wenn es darum geht, die Auferstehung als
\textbf{strukturelle Notwendigkeit} zu zeigen, nicht als
\textbf{moralisches Versprechen}.

\section{Was folgt daraus? Die Auferstehung ist eine logische
Notwendigkeit}\label{was-folgt-daraus-die-auferstehung-ist-eine-logische-notwendigkeit}

\subsection{Die zentrale Einsicht}\label{die-zentrale-einsicht-1}

Die Auferstehung ist \textbf{keine} moralische Hoffnung. Sie ist eine
\textbf{logische Notwendigkeit}.

\textbf{Formal:} Aus U1--U3 folgt
\(\Box\forall c(\text{Bewusstsein}(c) \rightarrow \Diamond \text{Auferstehung}(c))\).

\textbf{Metaphysisch:} Die Auferstehung ist die \textbf{Konsequenz} der
Informationserhaltung. Sie ist nicht ein \textbf{Ereignis} in der Zeit,
sondern eine \textbf{Struktur} der Totalität.

\subsection{Die Konsequenzen}\label{die-konsequenzen}

\textbf{Konsequenz 1:} Die Auferstehung kann nicht \textbf{verhindert}
werden. Sie ist strukturell.

\textbf{Konsequenz 2:} Die Auferstehung kann nicht \textbf{erzwungen}
werden. Sie ist keine moralische Belohnung.

\textbf{Konsequenz 3:} Die Auferstehung ist \textbf{universell}. Sie
gilt für alle Bewusstseine, nicht nur für ``gute''.

\subsection{Das Verhältnis zur
Tradition}\label{das-verhuxe4ltnis-zur-tradition}

Die klassische Theologie spricht von der Auferstehung als \textbf{Gnade}
oder \textbf{Belohnung}. Die vorliegende Abhandlung zeigt: Die
Auferstehung ist \textbf{keine} Gnade. Sie ist eine
\textbf{Notwendigkeit}.

Das ist \textbf{kein Widerspruch} zur Theologie. Es ist eine
\textbf{Präzisierung}: Die Gnade ist nicht willkürlich. Sie ist
strukturell.

\section{Offene Fragen: Ist U1--U3
minimal?}\label{offene-fragen-ist-u1u3-minimal}

\subsection{Die Frage}\label{die-frage}

Wir haben gezeigt: Aus U1--U3 folgt die Auferstehung. Aber ist U1--U3
\textbf{minimal}? Ist jedes der drei Prinzipien unverzichtbar?

\subsection{Die drei Teilfragen}\label{die-drei-teilfragen}

\textbf{Frage 1:} Ist U1 unverzichtbar? Was geschieht, wenn wir U1
weglassen?

\textbf{Frage 2:} Ist U2 unverzichtbar? Was geschieht, wenn wir U2
weglassen?

\textbf{Frage 3:} Ist U3 unverzichtbar? Was geschieht, wenn wir U3
weglassen?

\subsection{Mögliche Antworten}\label{muxf6gliche-antworten}

\textbf{Zu U1:} Ohne U1 folgt nicht, dass die Information über \(c\)
erhalten bleibt. Die Auferstehung wäre nicht ableitbar.

\textbf{Zu U2:} Ohne U2 wäre der Tod nicht als Zugriffsverlust
definiert. Die Auferstehung wäre nicht an den Tod gebunden.

\textbf{Zu U3:} Ohne U3 folgt nicht, dass die Integration möglich ist.
Die Auferstehung wäre nur eine Möglichkeit, nicht eine Notwendigkeit.

\subsection{Was wir nicht gezeigt
haben}\label{was-wir-nicht-gezeigt-haben}

Wir haben \textbf{nicht} gezeigt, dass U1--U3 minimal sind. Wir haben
nur gezeigt, dass sie \textbf{hinreichend} sind.

Die Frage der \textbf{Minimalität} bleibt offen. Sie ist Gegenstand von
\textbf{Modal 11} und darüber hinaus.

\subsection{Eine zweite offene Frage}\label{eine-zweite-offene-frage}

\textbf{Frage 4:} Ist der Operator \(\mathcal{I}\) minimal? Gibt es
einen schwächeren Operator, der dieselbe Rolle spielt?

\textbf{Mögliche Antwort:} Der Operator \(\mathcal{I}\) ist der
\textbf{schwächste} Operator, der Informationserhaltung formalisiert.
Aber es könnte andere Operatoren geben.

\section{Schluss: Was wurde gezeigt?}\label{schluss-was-wurde-gezeigt}

Die vorliegende Untersuchung hat gezeigt:

\begin{enumerate}
\def\labelenumi{\arabic{enumi}.}
\item
  \textbf{Unitarität lässt sich aus schwächeren Annahmen ableiten.} Die
  drei Prinzipien U1--U3 sind hinreichend für die Auferstehung.
\item
  \textbf{Die Unitarität ist keine zusätzliche Annahme.} Sie ist die
  Struktur der Totalität \(T\) selbst:
  \(\forall \gamma \subseteq T : \gamma \in T\).
\item
  \textbf{Der ``Eingriff'' des Omega-Punkts ist strukturell, nicht
  zeitlich.} Was aus der Perspektive eines Weges wie Verlust erscheint,
  ist aus der Perspektive von \(S\) Integration.
\item
  \textbf{Die Auferstehung ist eine logische Notwendigkeit.} Sie ist
  keine moralische Hoffnung, sondern eine strukturelle Konsequenz.
\end{enumerate}

Die zentrale Aussage dieser Abhandlung lautet:

\begin{quote}
\textbf{Die Unitarität ist keine zusätzliche Annahme. Sie ist die
Struktur der Totalität \(T\) selbst. Aus ihr folgt die Auferstehung als
logische Notwendigkeit --- nicht als moralisches Versprechen, sondern
als Konsequenz der Informationserhaltung.}
\end{quote}

Die Frage der Minimalität von U1--U3 bleibt offen.

\section{Anhang A: Die Axiome in einer
Übersicht}\label{anhang-a-die-axiome-in-einer-uxfcbersicht}

\subsection{Informationsaxiome}\label{informationsaxiome}

\[\begin{aligned}
I1 &:= \Box(\mathcal{I} p \rightarrow \Diamond p) \\
I2 &:= \Box(\mathcal{I}(p \land q) \leftrightarrow (\mathcal{I} p \land \mathcal{I} q)) \\
I3 &:= \Box(\mathcal{I}\neg p \leftrightarrow \neg\mathcal{I} p) \\
I4 &:= \Box(\mathcal{I} p \rightarrow \Box \mathcal{I} p)
\end{aligned}\]

\subsection{Prinzipien U1--U3}\label{prinzipien-u1u3}

\[\begin{aligned}
U1 &:= \Box\forall p(\text{Realisiert}(p) \rightarrow \mathcal{I} p) \\
U2 &:= \Box\forall c(\text{Tod}(c) \rightarrow \neg\Diamond_{\text{lokal}} \text{Zugriff}(c)) \\
U3 &:= \Box\forall c(\text{Tod}(c) \rightarrow \Diamond_{\text{global}} \text{Integration}(c, S))
\end{aligned}\]

\subsection{Die Unitarität als Struktur von
T}\label{die-unitarituxe4t-als-struktur-von-t-1}

\[\boxed{\forall \gamma \subseteq T : \gamma \in T}\]

\subsection{Der Hauptsatz}\label{der-hauptsatz-1}

\[\boxed{S5+U1+U2+U3 \vdash \Box\forall c(\text{Bewusstsein}(c) \rightarrow \Diamond \text{Auferstehung}(c))}\]

\section{Anhang B: Vergleich mit
A16--A20}\label{anhang-b-vergleich-mit-a16a20}

\begin{longtable}[]{@{}lll@{}}
\toprule\noalign{}
Aspekt & A16--A20 (modal5.md) & U1--U3 (modal10.md) \\
\midrule\noalign{}
\endhead
\bottomrule\noalign{}
\endlastfoot
Annahmen & Stark & Schwach \\
Struktur & Axiomatisch & Strukturell \\
Auferstehung & Theorem & Theorem \\
Anschluss an Physik & Gering & Hoch \\
Theologische Sprache & Ja & Nein \\
Direktheit & Hoch & Mittel \\
\end{longtable}

\section{Anhang C: Die drei Prinzipien in einer
Übersicht}\label{anhang-c-die-drei-prinzipien-in-einer-uxfcbersicht}

\begin{longtable}[]{@{}
  >{\raggedright\arraybackslash}p{(\linewidth - 4\tabcolsep) * \real{0.3333}}
  >{\raggedright\arraybackslash}p{(\linewidth - 4\tabcolsep) * \real{0.3333}}
  >{\raggedright\arraybackslash}p{(\linewidth - 4\tabcolsep) * \real{0.3333}}@{}}
\toprule\noalign{}
\begin{minipage}[b]{\linewidth}\raggedright
Prinzip
\end{minipage} & \begin{minipage}[b]{\linewidth}\raggedright
Lesart
\end{minipage} & \begin{minipage}[b]{\linewidth}\raggedright
Funktion
\end{minipage} \\
\midrule\noalign{}
\endhead
\bottomrule\noalign{}
\endlastfoot
U1 & Realisierung → Informationserhaltung & Was einmal war, bleibt \\
U2 & Tod → lokaler Zugriffsverlust & Was lokal verloren geht \\
U3 & Tod → globale Integrationsmöglichkeit & Was global integriert
wird \\
\end{longtable}

\section{Nachwort}\label{nachwort}

Sie haben diese Abhandlung gelesen. Vielleicht hat Sie die Idee
überrascht, dass die Unitarität die Struktur von \(T\) selbst ist.
Vielleicht hat Sie die Konsequenz beeindruckt, dass die Auferstehung
eine logische Notwendigkeit ist. Beides ist in Ordnung.

Die Untersuchung hat gezeigt: Die Unitarität ist \textbf{keine}
zusätzliche Annahme. Sie ist die \textbf{Struktur} der Totalität \(T\)
selbst. Aus ihr folgt die Auferstehung als \textbf{logische
Notwendigkeit} --- nicht als moralisches Versprechen, sondern als
Konsequenz der Informationserhaltung.

Was bleibt, ist die Einsicht, dass der ``Eingriff'' des Omega-Punkts in
Wege, die nicht zu ihm gelangen, \textbf{strukturell} ist, nicht
\textbf{zeitlich}. Aus der Perspektive eines Weges erscheint er als
Verlust. Aus der Perspektive von \(S\) ist er Integration.

Eine letzte Frage:

\begin{quote}
\textbf{Wagen wir den Sprung in die Offenheit für den Grenzwert --- auch
wenn der Grenzwert selbst nicht formal erreichbar ist?}
\end{quote}

\emph{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.}

\end{document}