susumu
2-1 不完全性定理-1
