% 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={Das Böse als Weg zum Guten Modallogik der Evolution},
  pdfauthor={Paul Koop},
  pdflang={de},
  colorlinks=true,
  linkcolor={blue},
  filecolor={Maroon},
  citecolor={Blue},
  urlcolor={Blue},
  pdfcreator={LaTeX via pandoc}}

\title{Das Böse als Weg zum Guten\\
Modallogik der Evolution}
\usepackage{etoolbox}
\makeatletter
\providecommand{\subtitle}[1]{% add subtitle to \maketitle
  \apptocmd{\@title}{\par {\large #1 \par}}{}{}
}
\makeatother
\subtitle{Modallogik der Evolution}
\author{Paul Koop}
\date{}

\begin{document}
\maketitle
\begin{abstract}
In den bisherigen Abhandlungen erschien das Böse als Leerstelle. Die
vorliegende Abhandlung füllt sie. Zentrale These: Die Trinität U ∧ T ∧ S
ist die einzige Grenzwertstruktur der Wirklichkeit (folgt aus A1,
Monismus). Das Gute ist der Grenzwert S. Das Böse ist nicht sein
Gegenstück, sondern die unvermeidliche Evolution zu ihm hin --- gedacht
in einem Multiversum aller möglichen Wege. Formal: Das Böse ist die
Gesamtheit der Pfade γ: {[}0,1{]} → T mit lim\_\{t → 1\} γ(t) = S,
insofern sie Leid, Verlust und Trennung enthalten. Es ist nicht
ontologisch, sondern genetisch. Am Grenzwert selbst ist es aufgehoben
--- nicht ausgelöscht, sondern integriert. Die metaphysische Konsequenz:
Das Böse ist nicht ewig, sondern der Preis des Werdens.
\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: Die Leerstelle ``das
Böse''}\label{vorwort-die-leerstelle-das-buxf6se}

In den bisherigen Abhandlungen der Reihe --- \texttt{modal5.md} und den
Modulen 6--11 --- ist das Böse eine \textbf{Leerstelle}. Es wird nicht
behandelt. Die Trinität wird als Grenzwertstruktur entfaltet, die
Unitarität als Theorem gezeigt, die Zeitlosigkeit als Struktur der
Gegenwart --- aber das Böse bleibt außen vor.

Die vorliegende Abhandlung füllt diese Leerstelle. Sie tut das
\textbf{nicht} im Sinne eines zweiten Grenzwerts, sondern im Sinne einer
\textbf{genetischen} Fassung: Das Böse ist \textbf{kein Gegenstück} zum
Guten, sondern die \textbf{unvermeidliche Evolution zu ihm hin}.

Die zentrale Aussage dieser Abhandlung lautet:

\begin{quote}
\textbf{Die Trinität U ∧ T ∧ S ist die einzige Grenzwertstruktur der
Wirklichkeit. Das Gute ist der Grenzwert S. Das Böse ist nicht sein
Gegenstück, sondern die unvermeidliche Evolution zu ihm hin --- gedacht
in einem Multiversum aller möglichen Wege. Am Grenzwert selbst ist es
aufgehoben --- nicht ausgelöscht, sondern integriert.}
\end{quote}

Die Untersuchung bleibt dem Selbstverständnis von \texttt{modal5.md}
treu: Sie zeigt \textbf{Abhängigkeiten}, nicht Wahrheiten. Sie zeigt,
dass das Böse \textbf{kein ontologischer Zustand} ist, sondern eine
\textbf{Struktur des Werdens}.

\section{Die Einzigkeit der
Trinität}\label{die-einzigkeit-der-trinituxe4t}

\subsection{A1 als Fundament}\label{a1-als-fundament}

In \texttt{modal5.md} wurde das Axiom A1 eingeführt:

\[\boxed{A1 := \Box\neg\exists x\exists y\, FundamentalGetrennt(x,y)}\]

\textbf{Lesart:} Es gibt keine fundamental getrennten
Wirklichkeitsbereiche.

\textbf{Metaphysische Bedeutung:} Die Wirklichkeit ist \textbf{eine}. Es
gibt keinen Bereich, der von einem anderen fundamental getrennt wäre.
Jede Trennung ist \textbf{relativ}, nicht \textbf{absolut}.

\subsection{Die Konsequenz: Kein zweiter
Grenzwert}\label{die-konsequenz-kein-zweiter-grenzwert}

Aus A1 folgt \textbf{unmittelbar}:

\begin{quote}
\textbf{Es kann keinen zweiten Grenzwert geben, der gleichursprünglich
mit der Trinität wäre.}
\end{quote}

\textbf{Beweis:} Angenommen, es gäbe einen zweiten Grenzwert \(B\) neben
der Trinität \(Tr = U \land T \land S\). Dann wären \(B\) und \(Tr\)
zwei fundamental getrennte Grenzwerte. Das widerspricht A1.

\textbf{Formal:} Aus A1 folgt:

\[\Box\neg\exists x\exists y\, (Grenzwert(x) \land Grenzwert(y) \land x \neq y \land FundamentalGetrennt(x,y))\]

Da die Trinität ein Grenzwert ist, kann es keinen zweiten, fundamental
getrennten Grenzwert geben.

\subsection{Was das bedeutet}\label{was-das-bedeutet}

Die Einzigkeit der Trinität bedeutet:

\begin{enumerate}
\def\labelenumi{\arabic{enumi}.}
\tightlist
\item
  \textbf{Es gibt keinen ``bösen Gott''.} Es gibt keine zweite
  Grenzwertstruktur, die der Trinität entgegengesetzt wäre.
\item
  \textbf{Das Böse ist kein Gegenstück zum Guten.} Es ist nicht
  dualistisch strukturiert.
\item
  \textbf{Das Böse muss etwas anderes sein.} Es muss eine
  \textbf{Struktur innerhalb} der Wirklichkeit sein, nicht
  \textbf{neben} ihr.
\end{enumerate}

Die Frage lautet daher: Was ist das Böse, wenn es \textbf{kein zweiter
Grenzwert} ist?

\section{Was ``Weg zum Guten''
bedeutet}\label{was-weg-zum-guten-bedeutet}

\subsection{Die formale Definition}\label{die-formale-definition}

Sei \(T\) die Totalität und \(S\) der obere Grenzwert der Totalität (die
Selbsterkenntnis). Ein \textbf{Weg} in \(T\) ist eine stetige Funktion:

\[\boxed{\gamma : [0,1] \to T}\]

\textbf{Erläuterung:} Ein Weg ist eine parametrisierte Kurve durch die
Totalität. Der Parameter \(t \in [0,1]\) beschreibt den ``Fortschritt''
entlang des Weges.

\subsection{Das Gute als Grenzwert}\label{das-gute-als-grenzwert}

Das \textbf{Gute} ist der obere Grenzwert \(S\):

\[\boxed{\text{Gut} := S}\]

\textbf{Lesart:} Das Gute ist das, worauf alle Wege zulaufen.

\subsection{Ein Weg, der zum Guten
führt}\label{ein-weg-der-zum-guten-fuxfchrt}

Ein Weg \(\gamma\) \textbf{führt zum Guten}, wenn:

\[\boxed{\lim_{t \to 1} \gamma(t) = S}\]

\textbf{Lesart:} Der Weg konvergiert gegen den Grenzwert \(S\).

\textbf{Metaphysische Bedeutung:} Ein Weg ``führt zum Guten'', wenn er
im Grenzwert in der Selbsterkenntnis mündet. Das ist kein moralisches
Urteil, sondern eine \textbf{strukturelle} Eigenschaft.

\subsection{Ein Weg, der nicht zum Guten
führt}\label{ein-weg-der-nicht-zum-guten-fuxfchrt}

Ein Weg \(\gamma\) \textbf{führt nicht zum Guten}, wenn:

\[\boxed{\lim_{t \to 1} \gamma(t) \neq S}\]

\textbf{Frage:} Gibt es solche Wege? Das ist eine der offenen Fragen
dieser Abhandlung.

\section{Das Böse als Gesamtheit der
Pfade}\label{das-buxf6se-als-gesamtheit-der-pfade}

\subsection{Die zentrale Definition}\label{die-zentrale-definition}

Das \textbf{Böse} ist die Gesamtheit der Pfade \(\gamma\), die zum Guten
führen, \textbf{insofern sie Leid, Verlust und Trennung enthalten}:

\[\boxed{\text{Böse} := \{ \gamma : [0,1] \to T \mid \lim_{t \to 1} \gamma(t) = S \land \text{Leid}(\gamma) \}}\]

\textbf{Erläuterung:}

\begin{itemize}
\tightlist
\item
  \(\text{Leid}(\gamma)\) ist eine Funktion, die den ``Leidensgehalt''
  eines Weges beschreibt.
\item
  Das Böse ist \textbf{kein Weg} und \textbf{kein Zustand}, sondern eine
  \textbf{Menge von Wegen}.
\item
  Es ist \textbf{nicht} der Grenzwert, sondern die \textbf{Gesamtheit
  der Wege zum Grenzwert}.
\end{itemize}

\subsection{Was diese Definition
leistet}\label{was-diese-definition-leistet}

\textbf{1. Das Böse ist kein zweiter Grenzwert.} Es ist eine Menge von
Wegen, die \textbf{zum} Grenzwert führen.

\textbf{2. Das Böse ist genetisch, nicht ontologisch.} Es beschreibt
eine \textbf{Entwicklung}, nicht einen \textbf{Zustand}.

\textbf{3. Das Böse ist relational.} Es bezieht sich immer auf das Gute
(den Grenzwert \(S\)).

\textbf{4. Das Böse ist nicht willkürlich.} Es ist \textbf{notwendig}
als Preis des Werdens.

\subsection{Was diese Definition nicht
leistet}\label{was-diese-definition-nicht-leistet}

\textbf{1. Sie sagt nicht, was Leid ist.} \(\text{Leid}(\gamma)\) ist
eine Funktion, die nicht weiter spezifiziert wird.

\textbf{2. Sie sagt nicht, welche Wege es gibt.} Sie sagt nur, welche
Wege das Böse ausmachen.

\textbf{3. Sie sagt nicht, ob es Wege gibt, die nicht zum Guten führen.}
Das ist eine offene Frage.

\section{Beweis: Das Böse ist kein Grenzwert, sondern ein
Weg}\label{beweis-das-buxf6se-ist-kein-grenzwert-sondern-ein-weg}

\subsection{Der Hauptsatz}\label{der-hauptsatz}

\textbf{Satz B-A:} In S5+A1 gilt: Das Böse ist \textbf{kein} Grenzwert.

\textbf{Beweis:}

\textbf{Schritt 1:} Aus A1 folgt: Es gibt keinen zweiten, fundamental
getrennten Grenzwert.

\textbf{Schritt 2:} Angenommen, das Böse wäre ein Grenzwert \(B\). Dann
wäre \(B\) ein zweiter Grenzwert neben der Trinität.

\textbf{Schritt 3:} Aus A1 und Schritt 2 folgt: \(B\) und \(Tr\) wären
fundamental getrennt. Widerspruch.

\textbf{Schritt 4:} Also ist das Böse \textbf{kein} Grenzwert.

q.e.d.

\subsection{Der zweite Satz}\label{der-zweite-satz}

\textbf{Satz B-B:} In S5+A1 gilt: Das Böse ist ein \textbf{Weg} oder
eine \textbf{Menge von Wegen}.

\textbf{Beweis:} Direkt aus der Definition von Böse als Menge von
Pfaden. q.e.d.

\subsection{Die Struktur des Beweises}\label{die-struktur-des-beweises}

Der Beweis zeigt:

\begin{enumerate}
\def\labelenumi{\arabic{enumi}.}
\tightlist
\item
  \textbf{A1 schließt einen zweiten Grenzwert aus.}
\item
  \textbf{Das Böse muss also etwas anderes sein.}
\item
  \textbf{Was übrig bleibt, ist die genetische Fassung:} Das Böse ist
  der Weg zum Grenzwert.
\end{enumerate}

\section{Vergleich mit klassischen
Theorien}\label{vergleich-mit-klassischen-theorien}

\subsection{Privatio boni}\label{privatio-boni}

Die klassische Theorie der \textbf{Privatio boni} (Augustinus) besagt:
Das Böse ist die \textbf{Abwesenheit} des Guten.

\textbf{Vergleich mit unserer Fassung:}

\begin{itemize}
\tightlist
\item
  \textbf{Gemeinsam:} Das Böse ist kein selbstständiger Zustand.
\item
  \textbf{Unterschied:} Bei Augustinus ist das Böse eine
  \textbf{Privation} (Mangel). Bei uns ist das Böse ein \textbf{Weg}
  (Evolution).
\end{itemize}

\textbf{Was unsere Fassung leistet:} Sie gibt dem Bösen eine
\textbf{positive} Rolle --- es ist nicht einfach Nicht-Gutes, sondern
eine \textbf{notwendige Durchgangsphase}.

\subsection{Manichäismus}\label{manichuxe4ismus}

Die manichäische Theorie besagt: Das Böse ist ein \textbf{zweites
Prinzip} neben dem Guten.

\textbf{Vergleich mit unserer Fassung:}

\begin{itemize}
\tightlist
\item
  \textbf{Gemeinsam:} Das Böse hat eine gewisse Eigenständigkeit.
\item
  \textbf{Unterschied:} Bei Mani ist das Böse ein \textbf{zweiter
  Grenzwert}. Bei uns ist es \textbf{kein} Grenzwert --- es ist aus A1
  (Monismus) ausgeschlossen.
\end{itemize}

\textbf{Was unsere Fassung leistet:} Sie vermeidet den Dualismus, ohne
das Böse zu leugnen.

\subsection{Theosis}\label{theosis}

Die Theorie der \textbf{Theosis} (Vergöttlichung, orthodoxe Tradition)
besagt: Der Mensch wird durch die Gnade in das göttliche Leben
aufgenommen.

\textbf{Vergleich mit unserer Fassung:}

\begin{itemize}
\tightlist
\item
  \textbf{Gemeinsam:} Das Gute ist ein Ziel, auf das alles zuläuft.
\item
  \textbf{Unterschied:} Bei der Theosis ist das Ziel ein
  \textbf{Zustand} (Vergöttlichung). Bei uns ist das Gute ein
  \textbf{Grenzwert} (Selbsterkenntnis).
\end{itemize}

\textbf{Was unsere Fassung leistet:} Sie fasst das Gute
\textbf{strukturell}, nicht moralisch.

\subsection{Die Pointe}\label{die-pointe}

Unsere Fassung nimmt Elemente aller drei klassischen Theorien auf:

\begin{itemize}
\tightlist
\item
  Von der Privatio boni: Das Böse ist kein selbstständiger Zustand.
\item
  Vom Manichäismus: Das Böse hat eine gewisse Eigenständigkeit.
\item
  Von der Theosis: Das Gute ist ein Ziel, auf das alles zuläuft.
\end{itemize}

Aber sie unterscheidet sich von allen drei dadurch, dass sie das Böse
\textbf{genetisch} fasst: als \textbf{Weg} zum Guten, nicht als
\textbf{Abwesenheit} oder \textbf{Gegenprinzip}.

\section{Was folgt daraus? Das Böse ist genetisch, nicht
ontologisch}\label{was-folgt-daraus-das-buxf6se-ist-genetisch-nicht-ontologisch}

\subsection{Die zentrale Einsicht}\label{die-zentrale-einsicht}

Das Böse ist \textbf{kein Zustand}. Es ist eine \textbf{Struktur des
Werdens}. Es ist nicht \textbf{jetzt} vorhanden, sondern entsteht
\textbf{im Prozess}.

\textbf{Formale Fassung:}

\[\text{Böse}(\gamma) = \text{Leid}(\gamma)\]

\textbf{Lesart:} Der ``Bössegrad'' eines Weges ist sein Leidensgehalt.

\textbf{Metaphysische Konsequenz:} Das Böse ist nicht
\textbf{ontologisch} (es existiert nicht als Ding), sondern
\textbf{genetisch} (es entsteht im Werden).

\subsection{Was das bedeutet}\label{was-das-bedeutet-1}

\textbf{1. Das Böse ist nicht ewig.} Es entsteht und vergeht mit dem
Werden.

\textbf{2. Das Böse ist nicht substanziell.} Es ist kein Ding, sondern
ein Prozess.

\textbf{3. Das Böse ist nicht willkürlich.} Es ist eine notwendige
Durchgangsphase.

\textbf{4. Das Böse ist überwindbar.} Es ist nicht das letzte Wort ---
am Grenzwert ist es aufgehoben.

\subsection{Das Verhältnis zur
Tradition}\label{das-verhuxe4ltnis-zur-tradition}

Die klassische Theologie ringt mit dem \textbf{Theodizee-Problem}: Wie
kann ein guter Gott das Böse zulassen?

Die vorliegende Abhandlung löst dieses Problem \textbf{nicht}, aber sie
\textbf{verschiebt} es: Das Böse ist nicht etwas, das
\textbf{zugelassen} wird, sondern etwas, das \textbf{notwendig} ist ---
als Preis des Werdens.

\textbf{Formale Fassung:} Es gibt keinen ``externen Gott'', der das Böse
zulässt. Es gibt nur die Trinität \(U \land T \land S\), und das Böse
ist der Weg von \(U\) nach \(S\).

\section{Offene Fragen: Gibt es Wege, die nicht zum Guten
führen?}\label{offene-fragen-gibt-es-wege-die-nicht-zum-guten-fuxfchren}

\subsection{Die Frage}\label{die-frage}

Wir haben definiert: Das Böse ist die Gesamtheit der Pfade \(\gamma\),
die zum Guten führen, insofern sie Leid enthalten.

\textbf{Frage:} Gibt es Wege, die \textbf{nicht} zum Guten führen?

\subsection{Die drei möglichen
Antworten}\label{die-drei-muxf6glichen-antworten}

\textbf{Antwort 1: Nein.} Alle Wege führen zum Guten. Es gibt keine
Wege, die im Grenzwert nicht konvergieren. Das Böse ist ausschließlich
die Gesamtheit der leidvollen Wege zum Guten.

\textbf{Antwort 2: Ja, aber sie sind unwirklich.} Es gibt Wege, die
nicht zum Guten führen --- aber sie sind nicht \textbf{wirklich},
sondern nur \textbf{möglich}. In der Wirklichkeit führen alle Wege zum
Guten.

\textbf{Antwort 3: Ja, und sie sind wirklich.} Es gibt wirkliche Wege,
die nicht zum Guten führen. Dann müsste geklärt werden, wie die
Unitarität (Modal 10) mit dieser Tatsache zusammenhängt.

\subsection{Was wir gezeigt haben}\label{was-wir-gezeigt-haben}

Wir haben \textbf{nicht} gezeigt, dass alle Wege zum Guten führen. Wir
haben nur gezeigt, dass \textbf{das Böse} aus Wegen zum Guten besteht.

Die Frage, ob es Wege gibt, die nicht zum Guten führen, bleibt
\textbf{offen}. Sie ist Gegenstand von \textbf{Modal 16} (Wege ohne
Omega-Punkt).

\subsection{Eine zweite offene Frage}\label{eine-zweite-offene-frage}

\textbf{Frage:} Was ist Leid? Wie wird \(\text{Leid}(\gamma)\)
definiert?

\textbf{Mögliche Antworten:}

\begin{itemize}
\tightlist
\item
  \textbf{Phänomenologisch:} Leid ist das, was als Leid erfahren wird.
\item
  \textbf{Strukturell:} Leid ist die Differenz zwischen dem Weg und
  seinem Grenzwert.
\item
  \textbf{Informationell:} Leid ist die Menge an Information, die im Weg
  verloren geht.
\end{itemize}

Die Frage nach der Definition von Leid bleibt offen.

\subsection{Eine dritte offene Frage}\label{eine-dritte-offene-frage}

\textbf{Frage:} Ist das Böse minimal? Gibt es einen Weg zum Guten, der
\textbf{kein} Leid enthält?

\textbf{Mögliche Antworten:}

\begin{itemize}
\tightlist
\item
  \textbf{Ja:} Der direkte Weg (die kürzeste Verbindung zwischen \(U\)
  und \(S\)).
\item
  \textbf{Nein:} Jeder Weg zum Guten enthält notwendig Leid, weil jede
  Differenzierung Leid erzeugt.
\item
  \textbf{Offen:} Die Frage ist äquivalent zu der Frage, ob das
  Universum einen leidfreien Pfad kennt.
\end{itemize}

\section{Schluss: Was wurde gezeigt?}\label{schluss-was-wurde-gezeigt}

Die vorliegende Untersuchung hat gezeigt:

\begin{enumerate}
\def\labelenumi{\arabic{enumi}.}
\item
  \textbf{Die Trinität ist die einzige Grenzwertstruktur der
  Wirklichkeit.} Das folgt aus A1 (Monismus).
\item
  \textbf{Das Böse ist kein zweiter Grenzwert.} Es ist ein Weg zum
  Grenzwert --- oder eine Menge solcher Wege.
\item
  \textbf{Das Böse ist genetisch, nicht ontologisch.} Es beschreibt eine
  Entwicklung, nicht einen Zustand.
\item
  \textbf{Am Grenzwert ist das Böse aufgehoben} --- nicht ausgelöscht,
  sondern integriert.
\end{enumerate}

Die zentrale Aussage dieser Abhandlung lautet:

\begin{quote}
\textbf{Das Gute ist der Grenzwert S. Das Böse ist nicht sein
Gegenstück, sondern die unvermeidliche Evolution zu ihm hin --- gedacht
in einem Multiversum aller möglichen Wege. Am Grenzwert selbst ist es
aufgehoben --- nicht ausgelöscht, sondern integriert.}
\end{quote}

Die Fragen, ob es Wege gibt, die nicht zum Guten führen, wie Leid
definiert wird, und ob es einen leidfreien Weg zum Guten gibt, bleiben
offen.

\section{Anhang A: Die Axiome in einer
Übersicht}\label{anhang-a-die-axiome-in-einer-uxfcbersicht}

\subsection{Basisaxiom}\label{basisaxiom}

\[\boxed{A1 := \Box\neg\exists x\exists y\, FundamentalGetrennt(x,y)}\]

\subsection{Definitionen}\label{definitionen}

\[\begin{aligned}
\text{Weg} &:= \gamma : [0,1] \to T \\
\text{Gut} &:= S \\
\text{Böse} &:= \{ \gamma : [0,1] \to T \mid \lim_{t \to 1} \gamma(t) = S \land \text{Leid}(\gamma) \}
\end{aligned}\]

\subsection{Der Hauptsatz}\label{der-hauptsatz-1}

\[\boxed{S5+A1 \vdash \text{Böse ist kein Grenzwert}}\]

\section{Anhang B: Vergleich mit klassischen
Theorien}\label{anhang-b-vergleich-mit-klassischen-theorien}

\begin{longtable}[]{@{}lll@{}}
\toprule\noalign{}
Theorie & Auffassung des Bösen & Verhältnis zum Guten \\
\midrule\noalign{}
\endhead
\bottomrule\noalign{}
\endlastfoot
Privatio boni & Abwesenheit & Mangel \\
Manichäismus & Zweites Prinzip & Gegenprinzip \\
Theosis & Durchgangsphase & Vorbereitung \\
Diese Abhandlung & Weg zum Guten & Evolution \\
\end{longtable}

\section{Anhang C: Die drei offenen
Fragen}\label{anhang-c-die-drei-offenen-fragen}

\begin{longtable}[]{@{}
  >{\raggedright\arraybackslash}p{(\linewidth - 2\tabcolsep) * \real{0.5000}}
  >{\raggedright\arraybackslash}p{(\linewidth - 2\tabcolsep) * \real{0.5000}}@{}}
\toprule\noalign{}
\begin{minipage}[b]{\linewidth}\raggedright
Frage
\end{minipage} & \begin{minipage}[b]{\linewidth}\raggedright
Mögliche Antworten
\end{minipage} \\
\midrule\noalign{}
\endhead
\bottomrule\noalign{}
\endlastfoot
Gibt es Wege, die nicht zum Guten führen? & Nein / Ja, aber unwirklich /
Ja, und wirklich \\
Was ist Leid? & Phänomenologisch / Strukturell / Informationell \\
Gibt es einen leidfreien Weg? & Ja / Nein / Offen \\
\end{longtable}

\section{Nachwort}\label{nachwort}

Sie haben diese Abhandlung gelesen. Vielleicht hat Sie die Idee
überrascht, dass das Böse kein Gegenstück zum Guten ist, sondern ein Weg
zu ihm. Vielleicht hat Sie die Konsequenz beeindruckt, dass das Böse
genetisch, nicht ontologisch ist. Beides ist in Ordnung.

Die Untersuchung hat gezeigt: Die Trinität ist die \textbf{einzige}
Grenzwertstruktur der Wirklichkeit. Das folgt aus dem Monismus. Das Böse
ist kein zweiter Grenzwert --- es ist ein \textbf{Weg} zum Grenzwert.

Was bleibt, ist die Einsicht, dass das Böse \textbf{aufgehoben} ist am
Grenzwert --- nicht \textbf{ausgelöscht}, sondern \textbf{integriert}.
Es war notwendig, aber es ist nicht ewig. Es ist der Preis des Werdens
--- und das Werden selbst ist der Weg zum Guten.

Eine letzte Frage:

\begin{quote}
\textbf{Wagen wir den Sprung in die Offenheit für den Grenzwert --- auch
wenn der Weg dorthin durch das Böse führt?}
\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}
