注：關(guān)于“三組公理”的完全性證明需要“林登鮑姆引理”，特專(zhuān)門(mén)學(xué)習(xí)

參考書(shū)籍：

[1]余俊偉,趙曉玉,裘江杰等.數(shù)理邏輯

[2]郝兆寬,楊睿之,楊躍.數(shù)理邏輯:證明及其限度

[3]沈文選.數(shù)學(xué)思想領(lǐng)悟