现代数理逻辑的四大分支是公理化集合论、证明论、模型论和哥德尔不完全性。()

此题为判断题(对，错)。

【参考答案】

错误。