私はゲーデルの不完全性定理を理解している。