スマリヤンの究極の論理パズル

数の不思議からゲーデルの定理へ