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