Kurt Gödel abalou os fundamentos da matemática provando que qualquer sistema formal consistente e suficientemente complexo para incluir a aritmética é necessariamente incompleto.