1-я теорема Гёделя о неполноте - доказательство диагонализацией HD
Теорема Гёделя о неполноте гласит, что для любой непротиворечивой формальной системы, в рамках которой может быть выполнено определенное количество арифметики, существуют утверждения, которые...