完全性定理すらわからないとか恥ずかしいですね