"Логические исчисления и формализация арифметики" - читать интересную книгу автора (Гильберт Д., Бернайс П.)