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