Wie kann es sein, dass es in der Mathematik wahre Aussagen gibt, die sich niemals beweisen lassen? Professorin Sandra Müller zeigt anhand unendlicher Spiele, Gödels Unvollständigkeitssätzen und der Kontinuumshypothese, wo die Grenzen formaler Beweise liegen. Anschauliche Beispiele mit Zahlenfolgen und verschiedenen Arten von Unendlichkeit machen sichtbar, wie unterschiedlich groß unendliche Mengen sein können. Schließlich geht es um große Kardinalzahlen und die Frage, ob sich die Mathematik durch neue Axiome sinnvoll erweitern lässt – und was mathematische Wahrheit überhaupt bedeutet.