В 1931 году он опубликовал теорему, известную как Теорема Гёделя о неполноте, и, в общих чертах, в ней говориться, что нет такой формальной системы логики, которая бы была самодостаточной, которая могла бы доказать любое возможное утверждение в пределах этой системы. | In 1931, he published this theorem called the incompleteness theorem, and what he basically says is there is no such thing as a formal system of logic that is self-contained, that is that can prove every possible assertion within that system. |