Знаменитые теоремы

Теорема Гёделя о неполноте и четыре дороги, ведущие к ней

В. А. Успенский

Московский государственный университет им. М. В. Ломоносова, механико-математический факультет