>>366
形式化されていない1完全性定理なら証明できました。が、形式化されたそれを証明する方法がよくわかりません。

ところで、私は前原先生の本をベースに勉強しています。
以下のページでは、前原先生の証明を土台にして第二不完全性定理を証明しているみたいなんですが、これって正しいですか？

http://miuse.mie-u.ac.jp/bitstream/10076/6295/1/AN100450900050008.PDF