"Introduction to Metamathematics" - читать интересную книгу автора (S.C. Kleene)