Теорема Гёделя о неполноте и четыре дороги, ведущие к ней [2] // Владимир Успенский

Теорема Гёделя о неполноте — едва ли не самая знаменитая теорема математики. Она утверждает, что какие бы способы доказывания ни предложить, в любом достаточно богатом языке найдутся истинные, но...