„Gödel zeigte, dass jede ''widerspruchsfreie'' mathematische Theorie, die reichhaltig genug ist, um die Arithmetik zu umfassen, die es also erlaubt, zu zählen und diese Zahlen zu addieren und zu multiplizieren, notwendigerweise unvollständig ist.“<ref>http://www.nzz.ch/aktuell/startseite/articleDYBVP-1.26221</ref>
ohne Widersprüche; frei von Widersprüchen