Gödel's incompleteness theorem of 1931 was one of the greatest achievements in the history of logic.
Το θεώρημα μη πληρότητας του Γκέντελ του 1931 ήταν ένα από τα μεγαλύτερα επιτεύγματα στην ιστορία της λογική.