論理学をつくるを紹介してくれた人に聞きたいが、
その本にはゲーデルの完全性定理が書かれているのに
何故かよく知られているゲーデルの不完全性定理
が書かれていないようだけど、この内容で大丈夫なのかい？