不健全な健全性定理

取り敢えず、本当にそうか?と疑問が残るも健全性の証明が完了する。
本当にそうか?

次は完全性だ。