The famous theorem

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

V. A. Uspenskii

M. V. Lomonosov Moscow State University, Faculty of Mechanics and Mathematics