Formale Systeme

Zusammenfassung

In Kapitel 1 haben wir die axiomatische Methode als die Grundlage der modernen mathematischen Beweisführung identifiziert und gezeigt, wie sie das Bild der Mathematik im Laufe der Zeit verändert hat. Im modernen Sinne wird das Führen eines Beweises als der Prozess verstanden, Sätze durch die Anwendung wohldefinierter Schlussregeln aus einer kleiner Menge a priori festgelegter Grundannahmen, den Axiomen, abzuleiten. Erst durch den präzisen deduktiven Charakter dieser Vorgehensweise konnte sich die Mathematik zu der exakten Wissenschaft entwickeln, wie wir sie heute kennen.