Die natürlichen Grundlagen der Mathematik
von Helmut BenderDieses Buch ist als eine Neubegründung der Mathematik zu verstehen.
Mathematische Grundkenntnisse genügen zum Verständnis. In logischer Hinsicht wird nur der vertraute Umgang mit den Worten und, oder, wenn ,/ ,dann vorausgesetzt. Logische Fachkenntnisse sind somit nicht nötig, eher hinderlich.
Die Grundbegriffe Objekt, Bereich, Abbildung sind rein sprachlicher Natur: Ein Bereich erlaubt, von seinen Elementen (Objekte) zu reden, eine Abbildung alphavon dem „Bild“ x alpha(ein Objekt) eines Objektes x. Und selbstverständlich sind Bereiche wie Abbildungen auch Objekte.
Einhergehend mit Negation wird Existenz eingeführt, Gleichheit dann im Zusammenhang mit dem Begriff einer Klasse (Bereich plus Äquivalenzrelation), und schließlich wird die Klasse aller Mengen vorausgesetzt.
Das Standard-Vorlesungsthema Aufbau des Zahlensystems wird vorweg auf althergebrachter Grundlage behandelt (Mengen und Abbildungen im Sinne Dedekinds), in dem vertrauten Rahmen der real existierenden Mathematik also, aber nicht auf altvertraute Weise.
Der entsprechende, um einiges angereicherte Teil I des Buches ist daher von unabhängigem Interesse, wie auch Teil II mit historischen und mathematikphilosophischen Erörterungen.