完全性定理もわからないんですね