最終 11 章で突然、コンピュータを用いた証明を認めるかどうか（大量の組み合わせを扱うため人間の目で全パターンを確認するのが事実上不可能なタイプの証明を認めるかどうか）というメタ議論になり、一気に楽しくなった。くじけず最後まで読んで良かった。 …