不完全性定理の「この文は証明不可能である」は真なんですよね？
もしそうだと、完全性定理より証明可能とならなければならないですが、なりません
どういうことですか？