あれ？一時期シーフの話にいったんじゃないの？また完全性定理に戻ってるよ。