"An Introduction to Gödel's Theorems" - читать интересную книгу автора (Peter Smith)