"Diagonalization and Self-Reference" - читать интересную книгу автора (Raymond M. Smullyan)