>>432

完全性定理より証明可能
はい論破