数理逻辑入门学习笔记（四）

注：关于“三组公理”的完全性证明需要“林登鲍姆引理”，特专门学习

参考书籍：

[1]余俊伟,赵晓玉,裘江杰等.数理逻辑

[2]郝兆宽,杨睿之,杨跃.数理逻辑:证明及其限度

[3]沈文选.数学思想领悟