不完全性定理 - Gödel, Kurt; 林, 晋; 八杉, 満利子 (岩波文庫, 2006)