「数学ガール ゲーデルの不完全性定理 1」作品情報