Теорема о неполноте, точную формулировку
которой мы дадим в конце этой главки, а быть
может позже (в случае возникновения к этому
интереса у читателя) и доказательство,
утверждает примерно следующее: при
определенных условиях в любом языке
существуют истинные, но недоказуемые
утверждения.