ところで完全性「定理」っていうけど何理論の定理？
一階述語論理における真理ではあるんだろうけど、「定理」って？