>>235
一階述語論理上の群論（や環論・体論）の理論は
再帰的公理化可能ですけど統語論的完全ではないですよね。
ということは決定不能ということで良いんでしょうか？

再帰的公理化可能なときに決定的と統語論的完全が
同値になるということはどういう文献に載っているんですか？
純粋に興味があるので御教示いただければ幸いです。