万物の創造主にして全知全能の神が、数式使うかなぁ。
無駄な努力だと人間に気付かせるために、
ゲーデルに知恵を授けたのかもｗ