Die Sprache der Aussagenlogik

Zusammenfassung

In diesem Skript wird die Sprache der Aussagenlogik als Metasprache untersucht, die verwendet wird, um gültige Ausdrücke der Basissprache zu erzeugen, die aus zwei Symbolen besteht. Es werden die Syntaxregeln, die Konzepte der aussagenlogischen Variablen und des Verknüpfers erklärt, sowie die gemeinsame Negation, die Verwendung von Klammern und die Umordnung zur besseren Lesbarkeit der Ausdrücke eingeführt. Darüber hinaus werden die Aussprachen der Ausdrücke der Aussagenlogik erwähnt. Schließlich wird die Sprache der Aussagenlogik als fundamentales Werkzeug in der Mathematik und Logik zusammengefasst, und es wird über die Möglichkeit reflektiert, eine „Basissprache der Basis“ zu finden, aus der sich alles andere rekonstruieren ließe.

Lernziele:

Nach Abschluss dieses Abschnitts sollte der/die Lernende in der Lage sein:

1. Zu verstehen, was eine Metasprache ist und wie sie in der Aussagenlogik angewendet wird.
2. Die Syntaxregeln der Sprache der Aussagenlogik zu verstehen.
3. Das Konzept der aussagenlogischen Variable und deren Verwendung beim Aufbau von Ausdrücken zu kennen.
4. Den Gebrauch von Verknüpfer und gemeinsamer Negation in der Sprache der Aussagenlogik zu verstehen.
5. Klammern und Umordnungen zu verwenden, um die Lesbarkeit von Ausdrücken zu verbessern.
6. Die Aussprachen der Ausdrücke der Aussagenlogik zu kennen.
7. Die Sprache der Aussagenlogik als fundamentales Werkzeug in der Mathematik und Logik zu synthetisieren.
8. Über die Möglichkeit nachzudenken, eine „Basissprache der Basis“ zu finden, aus der sich alles andere rekonstruieren ließe.
9. Die gelernten Konzepte beim Aufbau von Ausdrücken der Aussagenlogik anzuwenden.
10. Die Sprache der Aussagenlogik zu nutzen, um mathematische und logische Probleme zu verstehen und zu lösen.

Inhalt

DIE SPRACHE DER AUSSAGENLOGIK: ALPHABETE UND SYMBOLKETTEN
BEGINNEN WIR MIT EINEM EINZIGEN SYMBOL
FÜGEN WIR DANN EIN ZWEITES SYMBOL HINZU
DIE SPRACHE DER AUSSAGENLOGIK: SYNTAX
BEISPIELE ZUR ÜBERPRÜFUNG DER SYNTAX
NOTATIONSKONVENTIONEN
METAVARIABLEN UND DER VERKNÜPFER \downarrow
BEISPIELE FÜR DIE VERWENDUNG DER GEMEINSAMEN NEGATION
UMORDNUNG UND KLAMMERN
ABGELEITETE VERKNÜPFER
AUSSPRACHE DER AUSDRÜCKE DER AUSSAGENLOGIK
ZUSAMMENFASSUNG UND REFLEXIONEN ÜBER DIE SPRACHE DER AUSSAGENLOGIK
DIE MATRIX HINTER DER MATRIX HINTER DEM VERSTÄNDNIS ALLER DINGE

Die Sprache der Aussagenlogik: Alphabete und Symbolketten

Beginnen wir mit einem einzigen Symbol

Um die Sprache der Aussagenlogik zu konstruieren, beginnen wir unser Studium mit dem einfachsten Alphabet: jenem, das nur ein einziges Symbol besitzt. Die konkrete Gestalt dieses Symbols spielt keine Rolle – entscheidend ist, dass es einzigartig ist. Wenn wir mit einem solchen Alphabet schreiben, unterscheidet sich eine Symbolkette von einer anderen nur durch die Anzahl der Wiederholungen dieses Symbols. Wenn wir also die Möglichkeit haben, Symbolketten bis zur Länge N zu schreiben, dann können wir nur N verschiedene Ketten bilden. Wie du siehst, ist dieses Alphabet ziemlich begrenzt, und es lässt sich nicht viel mehr darüber sagen.

Fügen wir nun ein zweites Symbol hinzu

Wenn wir unserem Alphabet ein zweites Symbol hinzufügen, wird das Schreiben deutlich ausdrucksstärker als mit dem vorherigen Alphabet. Nun können wir die Anordnung der Symbole wahrnehmen – zum Beispiel, wenn 0 und 1 unsere Symbole sind, können wir zwischen 01 und 10 unterscheiden. Beide Ketten enthalten die gleichen Symbole, aber in unterschiedlicher Reihenfolge. Wenn die längste Kette, die wir schreiben können, eine Länge von N =1,2,3,\cdots hat, dann können wir 2^1=2 Ketten der Länge 1, 2^2=4 Ketten der Länge 2, 2^3=8 Ketten der Länge 3 schreiben – und allgemein 2^N verschiedene Ketten der Länge N.

Übung: Schreibe auf einem Blatt alle verschiedenen Ketten auf, die man mit zwischen 1 und N Symbolen bilden kann. Wie viele Ketten ergeben sich insgesamt?

Lösung:
Wenn S_N die Summe aller Ketten der Längen 1, 2, 3, bis N ist, dann haben wir bereits gesehen:

\displaystyle S_N=2^1 + 2^2 + \cdots +2^{N-1} + 2^N

Multiplizieren wir den vorherigen Ausdruck mit 2, so erhalten wir:

\displaystyle 2 S_N=2^2 + 2^3 + \cdots + 2^N + 2^{N+1}

Und somit:

\displaystyle S_N=2 S_N - S_N = 2^N-1

Folglich ist die Gesamtanzahl der aufgeschriebenen Ketten 2^N-1.

Die Sprache der Aussagenlogik: Syntax

Wir haben gesehen, dass wir mit zwei Symbolen eine Kette durch ihre Länge und die Reihenfolge der Symbole unterscheiden können. Das ist wichtig, da es uns erlaubt, eine Syntax für das konstruierte Alphabet zu definieren. Eine Syntax ist eine Menge von Regeln, die die Symbolketten in zwei Kategorien unterteilt: Ausdrücke und Nicht-Ausdrücke. Wenn \mathcal{L}_2 die Menge aller Ketten ist, die mit den Symbolen 0 und 1 gebildet werden können, dann ist die Syntax von \mathcal{L}_2 eine Teilmenge \mathcal{SL}_2\subset\mathcal{L}_2.

Wir können die Menge \mathcal{SL}_2 mit den folgenden rekursiven Regeln definieren:

1. 00, 11 \in \mathcal{SL}_2
2. Wenn \alpha, \beta \in \mathcal{SL}_2, dann gilt 01\alpha\beta \in \mathcal{SL}_2

Mit diesen beiden Regeln können wir Ausdrücke der Sprache bilden und prüfen, ob eine gegebene Kette ein Ausdruck der Sprache ist. Eine Sprache ist ein Alphabet mit einer zugehörigen Syntax. Die hier vorgestellte Sprache nennen wir „Basissprache mit zwei Symbolen“ oder \mathcal{B}_2.

Beispiele zur Überprüfung der Syntax

Um diese Ideen besser verständlich zu machen, sehen wir uns die folgenden Beispiele an:

Beispiel: Da 0000 und 1111 in \mathcal{SL}_2 enthalten sind, folgt daraus, dass 0100 00 01 0011 01 110000 und 0111111111 in \mathcal{SL}_2 enthalten sind; sie sind also Ausdrücke von \mathcal{B}_2. Dies zeigt sich durch Anwendung der gerade eingeführten Regeln.

Ende des Beispiels \blacksquare

Folglich ist die Gesamtanzahl der aufgeschriebenen Ketten 2^N-1.

Die Sprache der Aussagenlogik: Syntax

Wir haben gesehen, dass wir mit zwei Symbolen eine Kette durch ihre Länge und die Reihenfolge der Symbole unterscheiden können. Das ist wichtig, da es uns erlaubt, eine Syntax für das konstruierte Alphabet zu definieren. Eine Syntax ist eine Menge von Regeln, die die Symbolketten in zwei Kategorien unterteilt: Ausdrücke und Nicht-Ausdrücke. Wenn \mathcal{L}_2 die Menge aller Ketten ist, die mit den Symbolen 0 und 1 gebildet werden können, dann ist die Syntax von \mathcal{L}_2 eine Teilmenge \mathcal{SL}_2\subset\mathcal{L}_2.

Wir können die Menge \mathcal{SL}_2 mit den folgenden rekursiven Regeln definieren:

1. 00, 11 \in \mathcal{SL}_2
2. Wenn \alpha, \beta \in \mathcal{SL}_2, dann gilt 01\alpha\beta \in \mathcal{SL}_2

Mit diesen beiden Regeln können wir Ausdrücke der Sprache bilden und prüfen, ob eine gegebene Kette ein Ausdruck der Sprache ist. Eine Sprache ist ein Alphabet mit einer zugehörigen Syntax. Die hier vorgestellte Sprache nennen wir „Basissprache mit zwei Symbolen“ oder \mathcal{B}_2.

Beispiele zur Überprüfung der Syntax

Um diese Ideen besser verständlich zu machen, sehen wir uns die folgenden Beispiele an:

Beispiel: Da 0000 und 1111 in \mathcal{SL}_2 enthalten sind, folgt daraus, dass 0100 00 01 0011 01 110000 und 0111111111 in \mathcal{SL}_2 enthalten sind; sie sind also Ausdrücke von \mathcal{B}_2. Dies zeigt sich durch Anwendung der gerade eingeführten Regeln.

Ende des Beispiels \blacksquare

Übung: Im vorherigen Beispiel haben wir gesehen, wie man Ausdrücke aus zwei elementaren Ausdrücken aufbaut. An sich ist das keine schwierige Aufgabe; jedoch kann der umgekehrte Prozess – also zu zeigen, ob ein gegebener Ausdruck tatsächlich ein gültiger Ausdruck ist oder nicht – eine etwas größere Herausforderung darstellen.

Bestimme mithilfe der Syntaxregeln, ob die folgenden Ketten Ausdrücke von \mathcal{B}_2 sind:

1. {}012100

2. 101100

3. {}0100010000

4. 0101000011

5. {}01010000010000

6. 01010010000100101000011

Lösung:
Bevor du dir die Lösung ansiehst, empfehle ich dir, es zuerst selbst zu versuchen und anschließend deine Ergebnisse zu vergleichen. Wenn du das bereits getan hast, dann los geht’s 👍

1. 012100.

   Wie man sieht, enthält diese Kette das Symbol 2, das nicht zu \mathcal{L}_2 gehört; daher kann diese Kette nicht in \mathcal{SL}_2 enthalten sein und ist somit kein Ausdruck von \mathcal{B}_2.

2. 101100.

   Hier sieht man, dass diese Kette mit 10 beginnt. Aus den Syntaxregeln können wir ableiten, dass alle Ketten mit einer Länge größer als 2 notwendigerweise mit 01 beginnen müssen. Daher kann sie kein Ausdruck von \mathcal{B}_2 sein.

3. 0100010000

   Diese Kette beginnt mit 01, was den ersten Test besteht. Daraus folgt, dass, um ein Ausdruck von \mathcal{L}_2 zu sein, der in Blau markierte Teil eindeutig in zwei Ausdrücke zerlegt werden muss.

   0100010000

   Falls die Zerlegung trotz Einhaltung der Syntaxregeln nicht eindeutig ist, dann ist die definierte Syntax mehrdeutig und müsste entsprechend korrigiert werden.
   

   Bei der Analyse des blauen Teils ergeben sich folgende mögliche Zerlegungen:

   00010000	00010000	00010000
   00010000	00010000	00010000
   00010000

   An dieser Stelle müssen wir beachten, dass wenn der goldene Teil nicht 0000 oder 1111 ist, dann muss der entsprechende blaue Teil mit 01 beginnen, damit die gesamte Kette ein Ausdruck ist. Daraus ergeben sich folgende Ausschlüsse:

   0{}0010000❌	00010000✅	000{}10000❌
   00010000❌	00010000❌	00010000❌
   00010000❌

   Deshalb ist die einzige Zerlegung, die dieser Analyse standhält, 00010000, wobei der goldene Teil ein Ausdruck ist und der blaue Teil eindeutig und konsistent mit der Syntax zerlegt werden kann. Schließlich lässt sich die Kette 0100010000 eindeutig und konsistent mit der Syntax zerlegen, nämlich als 0100010000, und ist somit ein Ausdruck der Sprache \mathcal{B}_2

4. 0101000011

   Für diese Kette können wir folgende Zerlegung vornehmen, farblich markiert:

   010100001111

   Nach den Syntaxregeln muss eine Kette mit einer Länge größer als 2 mit 01 beginnen, und danach müssen zwei Ausdrücke folgen, die ich in Blau und Gold markiert habe. Es ist leicht zu sehen, dass diese Zerlegung eindeutig ist, da jede Veränderung der Länge des blauen oder goldenen Teils dazu führt, dass nicht beide gleichzeitig gültige Ausdrücke sind.

5. 01010000010000

   Wenn man von rechts nach links überprüft, findet man folgende Zerlegung:

   \underbrace{01\underbrace{01\overbrace{00}\overbrace{00}}_{{Ausdruck}}\underbrace{01\overbrace{00}\overbrace{00}}_{{Ausdruck}}}_{{Ausdruck}}

6. 01010010000100101000011

   Ein aufmerksames Auge erkennt, dass diese Kette die Länge 23 hat und dass es unmöglich ist, eine Kette ungerader Länge durch die Syntaxregeln von \mathcal{L}_2 zu erzeugen, welche Ausdrücke durch Aneinanderreihung von Ketten gerader Länge bildet. Alle Ketten in \mathcal{SL}_2 haben gerade Länge. Daher ist 01010010000100101000011 kein Ausdruck von \mathcal{B}_2.

Ende der Übung \blacksquare

Konventionen der Notation

Mit Nullen und Einsen zu arbeiten, kann für unsere Wahrnehmung verwirrend sein und dazu führen, dass wir Fehler machen. Um den Prozess benutzerfreundlicher zu gestalten – in einer Weise, die besser zu unserer menschlichen Interpretation passt – können wir Notationskonventionen und einige Metasymbole verwenden.

Metavariablen und der Verknüpfer \downarrow

Ein Metasymbol ist ein Symbol, das verwendet wird, um Symbolketten einer Zielsprache darzustellen. Zum Beispiel, als die Syntax \mathcal{SL}_2 von \mathcal{L}_2 definiert wurde, wurden die Symbole \alpha und \beta verwendet, um Ausdrücke von \mathcal{B}_2 darzustellen. Diese Symbole werden Metavariablen von \mathcal{B}_2 genannt: Metasymbole, die – wenn sie alle durch Ausdrücke der Sprache ersetzt werden – gemäß der zweiten Regel über die Elemente von \mathcal{SL}_2 einen neuen Ausdruck der Sprache erzeugen:

Wenn \alpha,\beta \in \mathcal{SL}_2, dann gilt 01\alpha\beta \in\mathcal{SL}_2

Aus diesem Grund sagt man, dass diese Metavariablen Metaausdrücke von \mathcal{B}_2 sind.

Um unsere Schreibweise im Folgenden zu vereinfachen, verwenden wir das Metasymbol \downarrow als Darstellung für die Kette 01. Dieses Metasymbol nennen wir einen Verknüpfer, und es ist bekannt als konjunktive Negation aus semantischen Gründen.

Damit können wir die Syntax \mathcal{SL}_2 metasprachlich mit den folgenden rekursiven Regeln ausdrücken:

1. Alle Metavariablen von \mathcal{B}_2 sind Metaausdrücke von \mathcal{B}_2

2. Wenn \alpha und \beta Metavariablen von \mathcal{B}_2 sind, dann ist \downarrow\alpha\beta ein Metaausdruck von \mathcal{B}_2

Mit diesen Regeln können wir Metaausdrücke schreiben, die – wenn alle ihre Metavariablen durch Ausdrücke und Verknüpfer in ihrer Darstellung mit Nullen und Einsen ersetzt werden – zu einem Ausdruck von \mathcal{B}_2 führen. Jeder solche Metaausdruck verweist auf eine unendliche Familie von Ausdrücken aus \mathcal{B}_2: die Menge aller Ausdrücke von \mathcal{B}_2, die mit dieser Struktur dargestellt werden können. Genau das bedeutet es, eine formale Sprache zu haben.

Beispiele für die Verwendung der konjunktiven Negation

Beispiel: Ausgehend vom Metaausdruck \downarrow\alpha\downarrow\beta\gamma können durch Ersetzungen folgende Ausdrücke gewonnen werden:

1. Ersetze \alpha := 00, \beta := 011100 und \gamma := 010011

   Man erhält den Ausdruck:

   010001011100010011

2. Wenn wir \alpha := 011100, \beta := 0111011100 und \gamma := 0111010011 einsetzen

   Dann entsteht:

   010111000101110111000111010011

Der Metaausdruck \downarrow\alpha\downarrow\beta\gamma ist nicht nur leichter zu erfassen als jeder einzelne Ausdruck, der seiner Form entspricht, sondern er repräsentiert auch alle Ausdrücke, die daraus hervorgehen, wenn man die Metavariablen durch Ausdrücke ersetzt.

Ende des Beispiels \blacksquare

Wenn eine Metavariable ersetzt wird, dann wird sie an allen Stellen ersetzt, an denen sie auftritt.

Beispiel: Wir betrachten den Metaausdruck \downarrow\downarrow\alpha\beta\downarrow\alpha\gamma

1. Wenn wir \alpha:=11 ersetzen, erhalten wir:

   \downarrow\downarrow 11\beta\downarrow 11\gamma

2. Wenn wir nun \beta:=011100 einsetzen, ergibt sich:

   \downarrow\downarrow 11011100\downarrow 11\gamma

3. Und wenn wir schließlich \gamma:=011111 einsetzen, ergibt sich:

   \downarrow\downarrow 11011100\downarrow 11011111

4. Wenn wir abschließend \downarrow:=01 ersetzen, erhalten wir diesen Ausdruck:

   0101110111000111011111

Ende des Beispiels \blacksquare

Umordnung und Klammern

Es ist nicht besonders schwierig zu überprüfen, dass dies ein Metaausdruck ist, aber es erfordert ständige Aufmerksamkeit hinsichtlich der Anzahl der Metasymbole und der Reichweite des Verknüpfers \downarrow. Diese Schwierigkeit wächst rasch mit zunehmender Länge des Metaausdrucks. Daher ist es berechtigt zu fragen, ob es eine Möglichkeit gibt, solche Ausdrücke in einer leichter überprüfbaren Weise darzustellen – und die Antwort ist ja; tatsächlich können wir Klammern und eine geeignete Umordnung verwenden, die sich besser an unsere natürliche Art des Gruppierens anpasst. Um diesen Punkt zu verdeutlichen, betrachten wir den folgenden Metaausdruck:

\downarrow\alpha\downarrow\downarrow\alpha\beta\alpha

Obwohl es nicht besonders schwierig ist, zu bestätigen, dass dies ein Metaausdruck ist, kann man dies kaum tun, ohne gezwungen zu sein, die Symbole zu zählen – mit dem Risiko, dabei den Überblick zu verlieren. Und dieses Risiko nimmt mit zunehmender Länge des Ausdrucks rasch zu. Gibt es eine Möglichkeit, denselben Inhalt in einer leserfreundlicheren Form darzustellen? Tatsächlich existiert ein solches Verfahren, das sich nach unserer natürlichen Gruppierungsweise richtet. Dafür führen wir Klammern und Umordnungen gemäß der folgenden Notationskonvention ein:

\downarrow\alpha\beta:=(\alpha\downarrow\beta)

Beispiel: Betrachten wir den Metaausdruck \downarrow\alpha\downarrow\downarrow\beta\gamma\delta. Wenn wir die Klammersetzung und Umordnung anwenden, ergibt sich folgende Umwandlung:

Dieser letzte Metaausdruck ist viel leichter zu lesen und zu überprüfen als der ursprüngliche, da jeder Klammerblock ein Metaausdruck ist, der aus leicht unterscheidbaren Elementen besteht: einer konjunktiven Negation in der Mitte und jeweils einem Metaausdruck auf beiden Seiten.

Ende des Beispiels \blacksquare

Abgeleitete Verknüpfer

Sowohl in der Logik als auch im übrigen Teil der Mathematik gibt es bestimmte Kombinationen von Verknüpfern, die häufig verwendet werden. Um das Schreiben (für Menschen) noch angenehmer zu gestalten, werden abgeleitete Verknüpfer mithilfe der folgenden Notationskonventionen eingeführt:

Diese Metasprache, die wir auf der Basissprache mit zwei Symbolen aufgebaut haben, ist das, was man als Nullter-Ordnungssprache der Aussagenlogik bezeichnet. Mit dieser Sprache werden alle Ausdrücke der Aussagenlogik präzise und eindeutig dargestellt.

Vokalisierung der Ausdrücke der Aussagenlogik

Auch wenn es nicht notwendig ist, um Logik zu betreiben, ist es wichtig zu bedenken, dass unsere Kommunikation sich nicht nur auf geschriebene Symbole stützt – wir haben auch eine natürliche Tendenz, Dinge in unserer Alltagssprache zu artikulieren. Daher existieren für die Ausdrücke der Aussagenlogik gesprochene Formen (Vokalisierungen), die ähnliche Bedeutungen vermitteln wie ihre formalen Gegenstücke in der Logik. Diese Vokalisierungen sind folgende:

Zusammenfassung und Überlegungen zur Sprache der Aussagenlogik

Mit diesem letzten Abschnitt ist die Konstruktion der Sprache der Aussagenlogik abgeschlossen, die wir als eine Metasprache zusammenfassen können, die es erlaubt, gültige Ausdrücke in der Basissprache mit zwei Symbolen zu erzeugen. Die Sprache der Aussagenlogik ist eine formale Sprache, da sie die Struktur (oder Form) der Ausdrücke in der Basissprache definiert, und jeder ihrer Ausdrücke bestimmt die Form einer unendlichen Familie von Ausdrücken in der Basissprache. Wie bereits erwähnt, ist die Syntax einer formalen Sprache äußerst streng, aber dafür ist sie präzise und exakt: Sie ist eindeutig.

Die Matrix hinter der Matrix hinter dem Verständnis aller Dinge

Noch ein letzter Gedanke. Die Aussagenlogik – und darauf aufbauend die Mathematik – basiert stark auf der Aussagenlogik, die wiederum auf einer Basissprache aus Einsen und Nullen konstruiert ist. Bedeutet das, dass wir damit die „Matrix“ hinter der Logik und Mathematik erreicht haben? Möglicherweise. Aber man kann auch darüber nachdenken, ob es eine Basissprache für die Basissprache gibt – eine Sprache, aus der sich alles andere rekonstruieren ließe. Um eine solche Sprache zu finden, müssten wir jedoch noch grundlegendere Konzepte als Ordnung und Anzahl entdecken – jene, die verwendet wurden, um die erste Basissprache zu definieren. Eine Basissprache der Basis zu finden bedeutet, über die grundlegendsten Aspekte dessen zu reflektieren, was es heißt, „die Dinge zu verstehen“. Wenn du tiefer gehst, wenn du es schaffst, bis zum Kern vorzudringen, könnte man sagen, du hast „die Matrix hinter der Matrix hinter dem Verständnis aller Dinge“ gesehen – und vielleicht ist dieser Fundamentierungsprozess unendlich fortsetzbar, wobei jede neue Schicht eine tiefere Erkenntnis ermöglicht.

Zusammenfassung und Überlegungen zur Sprache der Aussagenlogik

Mit diesem letzten Abschnitt endet der Aufbau der Sprache der Aussagenlogik, die wir als eine Metasprache zusammenfassen können, mit der sich gültige Ausdrücke in der Basissprache mit zwei Symbolen erzeugen lassen. Die Sprache der Aussagenlogik ist eine formale Sprache, da sie die Struktur (oder Form) der Ausdrücke in der Basissprache definiert, und jeder ihrer Ausdrücke bestimmt die Form einer unendlichen Familie von Ausdrücken in der Basissprache. Wie bereits erwähnt, ist die Syntax einer formalen Sprache äußerst streng – aber dafür präzise und exakt: Sie ist frei von Mehrdeutigkeit.

Die Matrix hinter der Matrix hinter dem Verständnis aller Dinge

Noch ein letzter Gedanke. Die Aussagenlogik – und darauf basierend die Mathematik – gründet sich stark auf die Aussagenlogik selbst, die wiederum aus einer Basissprache aus Einsen und Nullen aufgebaut ist. Bedeutet das, dass wir hiermit die „Matrix“ hinter Logik und Mathematik erreicht haben? Vielleicht. Aber man kann auch darüber nachdenken, ob es eine Basissprache für die Basissprache gibt – eine Sprache, aus der sich alles andere rekonstruieren ließe. Um eine solche Sprache zu finden, müssten jedoch Konzepte entdeckt werden, die noch grundlegender sind als Ordnung und Anzahl – jene, die zur Definition der ersten Basissprache verwendet wurden. Eine Basissprache der Basis zu finden bedeutet, über die grundlegendsten Aspekte dessen zu reflektieren, was es heißt, „die Dinge zu verstehen“. Wenn du tiefer gehst und es schaffst, bis zum Kern vorzudringen, könnte man sagen, du hast „die Matrix hinter der Matrix hinter dem Verständnis aller Dinge“ gesehen. Und vielleicht lässt sich dieser Fundamentierungsprozess unendlich fortsetzen – mit jeder Stufe eine neue Schicht an Tiefe und Erkenntnis erschließend.