The incompleteness theorem, for which we will give a precise statement in this section and later a proof, says roughly the following: under certain conditions in any language there exist true but unprovable statements. [from the 1987 English translation of the 1982 Russian edition]