Cantor - Frege - Zermelo, Fachbücher

Vor gut einem Jahrhundert hatte Georg Cantor das Tor zum Paradies der transfiniten Zahlen aufgestoßen und damit heftige Auseinandersetzungen in der Mathematik ausgelöst. Zur Untersuchung dieser Zahlen nämlich war die Analyse der vermeintlich so klaren Begriffe wie Menge oder Funktion notwendig geworden, die sich in ihrem intuitiven Verständnis als widerspruchsvoll erwiesen. Gottlob Frege versuchte, die Arithmetik in einer eigens dafür geschaffenen Formelsprache aus vermeintlich evidenten Aussagen abzuleiten. Er scheiterte an einem zu weit gefassten Axiom und an einem zu eng ausgelegten Realismus. Schließlich war es pragmatischer denkenden Mathematikern vorbehalten, den Weg aus dem Dilemma zu weisen. Um seinen umstrittenen Beweis des Wohlordnungssatzes zu rechtfertigen, formulierte Ernst Zermelo ein Axiomensystem, das die bekannten Widersprüche vermeiden konnte, aber dennoch die Cantorsch.