「完全性定理って、そんなに難しいものなの？」に自分で回答していたことに、いまごろ気づきました。http://taurus.ics.nara-wu.ac.jp/staff/kamo/shohyo/logic-1.html から引用 数理論理学を学ぶために最低限必要なセンスが三つある。 シンタックスとセマン…