"Gödel's incompleteness theorems" - читать интересную книгу автора (Raymond M. Smullyan)