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