"Theory of formal systems" - читать интересную книгу автора (Raymond M. Smullyan)