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