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