"О некоторых логических проблемах арифметики (Труды МИАН)" - читать интересную книгу автора (Шанин Н.А.)