und Zermelo-Fraenkel-Axiome.

Gödels Unvollständigkeitssatz – oft von raunenden Philosophen zitiert – jeder hat davon gehört, nicht jeder kennt den genauen Inhalt.

“The Modern Development Of The Foundations Of Mathematics In The Light Of Philosophy”

Wenn die Riemann-Vermutung nicht entscheidbar ist, dann ist sie wahr.

Unendlichkeit, Unbeweisbarkeit, Unberechenbarkeit.

Mengen, Kategorien, Funktoren – zum formalen Aufbau der modernen Mathematik.

Axiome sind relativ unbedeutend.