„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.“
“Gödel đã chỉ ra rằng mọi lý thuyết toán học không mâu thuẫn, đủ phong phú để bao quát số học, tức là cho phép đếm và cộng, nhân các con số này, thì tất yếu là không đầy đủ.”