結局完全性定理の証明もわかったつもりになってただけか。