『数学ガール/ゲーデルの不完全性定理 (数学ガールシリーズ 3)』の5.3.1でミルカさんが読んでいた本は何か、推理を試みました。洋書であることと題名が "Gödel's incompleteness theorems" であることから、Amazonで検索して、二冊に絞ることができました。G…