>>433
完全性定理の証明はわかるんですか?

私はわかりますけど