"An introduction to Goedel's theorems" - читать интересную книгу автора (Smith P.)