Title: Nereshimoto
Subjects: Gödel's theorem, Mathematical recreations