Advertisement

Fundamente der Mathematik

  • Dirk W. Hoffmann
Chapter

Zusammenfassung

In Kapitel 2 haben wir die Aussagenlogik und die Prädikatenlogik eingeführt und gezeigt, wie sich die Schlussweisen der gewöhnlichen Mathematik innerhalb formaler Systeme nachbilden lassen. In diesem Kapitel werden wir auf der Prädikatenlogik aufbauen und sie durch die Hinzunahme neuer Axiome zu sogenannten Theorien erweitern. Konkret verstehen wir unter einer mathematischen Theorie ein formales System, dessen Axiome in zwei Gruppen unterteilt sind.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Dirk W. Hoffmann
    • 1
  1. 1.Fakultät für Informatik und WirtschaftsinformatikHochschule KarlsruheKarlsruhe

Personalised recommendations