Mengenlehre war der Versuch kluger Mathematiker, die Mathematik vollständig auf der Logik aufzubauen. Fast hätte es geklappt. Leider hat Gödel ihnen mit seinem Unvollständigkeitssatz einen Strich durch die Rechnung gemacht. Und so betreiben die meisten Mathematiker heute einen »pragmatischen Formalismus«.