スマリヤン不完全性定理
410.9
ｽﾏ