在这本用户友好的书中,向没有进行过本领域研究的读者介绍了模型理论,证明理论和可计算性理论的基础知识,从而为戈德尔的第一和第二不完全性定理提供了严格的证明。