os teoremas da incompletude de gödel, de Kurt Gödel (provados por ele em 1931) destruiu a busca por uma teoria matemática de todas as coisas. na época, matemáticos tentavam definir um conjunto de axiomas que fosse completo e consistente, mas que também servisse como base para todos os conceitos matemáticos.

porém, gödel provou que quaisquer conjuntos de axiomas que tivessem a possibilidade de ser os fundamentos da matemática seriam inevitavelmente incompletos - sempre haverá algo sobre números que não poderá ser provado por esse conjunto de axiomas. ele também provou que um conjunto de axiomas não pode se auto provar - é impossível haver um conjunto da teoria matemática de todas as coisas, porque ele não pode ser provado fora de si mesmo.