Prolog:
Am Anfang der Geometrie stand das Bild, die gespannte Schnur, der Kreis im Sand, der Blick zum Horizont.
Doch Mathematik beginnt dort, wo aus klaren Voraussetzungen notwendige Folgerungen entstehen.
Über Jahrhunderte erschien der Raum Euklids als selbstverständlich. Besonders das Parallelenaxiom schien aus den übrigen Axiomen folgen zu müssen.
Nikolai Lobatschewski und János Bolyai veröffentlichten unabhängig voneinander die Grundlagen der hyperbolischen Geometrie.
Carl Friedrich Gauß hatte ähnliche Gedanken früher entwickelt, aber nicht veröffentlicht.

Sie ersetzten das euklidische Parallelenaxiom durch eine andere Forderung.
Nun verlaufen durch einen Punkt außerhalb einer gegebenen Geraden unendlich viele Geraden, die diese Gerade nicht schneiden.
Später lieferten Modelle der hyperbolischen Geometrie innerhalb der euklidischen Geometrie einen relativen Konsistenznachweis.
Ist die euklidische Geometrie widerspruchsfrei, dann ist auch die hyperbolische Geometrie widerspruchsfrei.

Bernhard Riemann öffnete einen weiteren Weg.
Seine metrische Theorie machte Krümmung und Räume verschiedener Dimensionen mathematisch fassbar.
Anschauung kann Gedanken anregen, doch bloßes Sehen ist kein Beweis.

Moritz Pasch verlangte deshalb, geometrische Schlüsse dürften nicht von Eigenschaften abhängen, die man nur in einer Zeichnung zu erkennen glaubt.
Giuseppe Peano schärfte die symbolische Sprache, und David Hilbert zeigte die Kraft axiomatischer Systeme.
Punkte, Geraden, Ebenen werden darin nicht durch ein inneres Bild bestimmt, sondern durch Beziehungen, die Axiome festlegen.

Definitionen legen den Gebrauch der Begriffe fest. Axiome bilden die vorausgesetzten Ausgangsaussagen. Sätze formulieren Behauptungen.
Beweise leiten sie nach anerkannten Schlussregeln her aus Axiomen und aus bereits bewiesenen Sätzen.
Ein Beweis ist eine Kette von Gründen.
Und diese Kette trägt, auch wenn wir uns ihre Gegenstände nicht bildlich vorstellen können.

Hilberts Programm zielte darauf, mathematische Theorien zu formalisieren und ihre Widerspruchsfreiheit mit inhaltlich einsichtigen, finitären Mitteln nachzuweisen.
Kurt Gödel zeigte eine Grenze dieses Programms.
Jede hinreichend starke, effektiv axiomatisierte Theorie der Arithmetik ist unvollständig,
wenn sie die stärkere Konsistenzbedingung erfüllt, die sein ursprünglicher Beweis voraussetzt. In ihr gibt es eine Aussage, die weder beweisbar, noch widerlegbar ist.
John Barkley Rosser zeigte später: Für diese Unvollständigkeit genügt bereits einfache Widerspruchsfreiheit.

Ein solches System kann außerdem seine eigene Widerspruchsfreiheit nicht beweisen.
Dafür muss es hinreichend stark sein, effektiv axiomatisiert, widerspruchsfrei, und es muss die üblichen Ableitbarkeitsbedingungen erfüllen.

Das folgende Lied führt diesen Gedanken weiter und sein Klang ist bewusst ungewöhnlich.
Maschinenpuls trifft auf menschliche Stimme, leise Präzision auf plötzliche Ausbrüche, strenge Wiederholung auf das Verlangen nach vertrauter Melodie.
Gerade deshalb passt dieser Klang zum Text: Er verweigert ein bequemes Klangbild.
Statt melodischer Geborgenheit treten Struktur, Wiederkehr, Spannung und Konsequenz hervor.

Das Lied richtet sich nicht gegen Vorstellungskraft, sondern gegen ihre Herrschaft.
Anschauung kann Wege öffnen, aber sie entscheidet nicht über mathematische Geltung.
Wenn nur gelten darf, was ein Auge sehen oder ein vertrauter Raum fassen kann, wird Anschauung zur Kette.
Mathematik löst diese Kette: Axiome, Definitionen, Sätze, Beweise.

Was aus den Axiomen mithilfe der Definitionen und nach festgelegten Schlussregeln folgt, gilt innerhalb des vorausgesetzten Systems.
Auch dort, wo kein inneres Bild mehr trägt.

Songtext:
Zahl an Zahl. Kein Bild. Kein Halt.
Und doch öffnet sich ein Raum, den kein Auge sehen kann.

Ein Schein im Kopf. Vertraut. Verführerisch. Nah.
Die Welt passt ins Bild, solange niemand fragt, was von ihr bleibt, wenn das Bild zerbricht.
Wer tiefer hinabgeht, lässt den Augenschein zurück. Kein Blick zurück.

Kein Bild weist den Weg. Kein Schatten spricht.
Die Figuren verstummen. Die Form verliert ihr Gesicht.
Kein Oben. Kein Unten. Kein fester Grund.
Nur Zeichen. Nur Regeln. Nur der Schluss.

Was du siehst, ist nicht der Grund.
Was dir einleuchtet, ist noch nicht bewiesen.
WAS BLEIBT, WENN DAS BILD ZERBRICHT?

ANSCHAUUNG IST DIE KETTE!
ANSCHAUUNG IST DIE KETTE!
Sie bindet den Geist an den Augenschein!
DU WILLST EIN BILD! DU WILLST EIN BILD!

Tische und Stühle, statt Punkt und Gerade.
Namen getilgt. Nur Beziehungen. Im Gepäck: Axiome.
Kein Bild gibt Antwort. Kein Blick entscheidet.
Nur Regeln. Nur Schlüsse.
Was daraus folgt, trägt Schritt für Schritt.
Jetzt wird Denken zum Gehen.

Sie will das Vertraute. Sie will das Nahe. Für jede Zahl ein sichtbares Maß.
Doch keine Figur begründet für sich einen Satz.
Kein Abbild entscheidet, was notwendig folgt.
Die Seile zerreißen. Nicht die Regeln. Nur die Bindung.

Was du siehst, ist nicht der Grund.
Was dir einleuchtet, ist noch nicht bewiesen.
WAS BLEIBT, WENN DAS BILD ZERBRICHT?

ANSCHAUUNG IST DIE KETTE!
ANSCHAUUNG IST DIE KETTE!
Sie bindet den Geist an den Augenschein!
DU WILLST EIN BILD! DU WILLST EIN BILD!

Kein Ausblick. Kein Bild. Kein Trost. Nur Kompass. Nur Kälte. Nur Gewicht.
Du trägst, was du nicht siehst. Du gehst, ohne zu sehen. Du folgerst. Schritt für Schritt.

KEIN BILD! KEIN ABBILD! KEIN AUGENSCHEIN!
NUR AXIOME! NUR SCHLÜSSE! WAS DARAUS FOLGT, GILT!

ANSCHAUUNG! ANSCHAUUNG!
ANSCHAUUNG! ANSCHAUUNG!
Du suchst ein Bild! Du suchst den Grund!
DOCH WAS GILT, BRAUCHT MEHR ALS BLOSSEN AUGENSCHEIN.

Die Zahlen liegen dicht. Dazwischen: Raum.
Die irrationalen Zahlen finden darin ihren Platz.
Kein Auge muss sehen. Kein Bild muss tragen.
Nicht, weil wir glauben. Nicht, weil wir schauen.
Sondern weil aus Voraussetzungen nach festen Regeln Notwendigkeit folgt.
Kalt. Klar. Ohne Bild. Anschauung ist die Kette.

Copyright:
Artist: Jens K. Carl.
Lyrics: Frank Schumann.
Vocals: AI‑generated voices.
Music: Generated with Suno AI.
© / ℗ 2026 Frank & Jens AI-Songs
Produced with Suno AI.

Abonniert meinen neuen YouTube-Kanal.