In 1931, a young, unknown mathematician  named Kurt Gödel presented a proof that a logically complete system of mathematics was impossible.
En 1931, un jeune mathématicien inconnu appelé Kurt Gödel présenta une preuve qu'un système mathématique logiquement complet était impossible.