Um buraco negro nos fundamentos da Matemática.

Um dos axiomas mais inconvenientes na história da Matemática foi estabelecido por Kurt Gödel, na terceira década do século XX, quando demonstrou que os sistemas matemáticos não conseguem fazer prova da verdade factual.