In 1931, a young, unknown mathematician  named Kurt Gödel presented a proof that a logically complete system of mathematics was impossible.
Em 1931, Kurt Gödel um matemático, jovem e desconhecido, apresentou prova de que um sistema de matemática completo logicamente, era impossível.