Woher wissen wir was wahr ist? Wofür brauchen wir mathematische Beweise? Was hat es mit Gödels berühmten Unvollständigkeitssätzen auf sich? In diesem Sachbuch tauchen wir ein in die Aussagekraft mathematischer Systeme und lernen ihre prinzipiellen Grenzen kennen. Nicht jede mathematische Aussage, die man formulieren kann, lässt sich aus den akzeptierten Axiomen auch beweisen oder widerlegen. Die Fundamente der Mathematik sind nicht so stabil und klar, wie es zunächst scheint.