ゲーデルエッシャーバッハ的な読み物
日本人のオーサーで言えば野崎さんの本みたいな意味で自然言語でロジックを記述した読み物を読みこなすの日本の受験理系ってすごく苦手で現国批判しまくる印象。