"Για το θεώρημα μη-πληρότητας του Gödel" - читать интересную книгу автора (V. A. Uspensky, Θάνος Χριστακόπουλος (μετάφραση))