"Gödel's Incompleteness Theorem" - читать интересную книгу автора (V. A. Uspensky)