本书分三卷。第三卷在前两卷的基础上建立完整CFZFC概念文字系统，分为三章。第九章引入一阶逻辑形式系统；第十章引入一阶逻辑语义解释系统；第十一章引入完整CFZFC概念文字系统。本卷在无穷公理基础上进一步表明由此而来的彻底有限集合正好是一阶逻辑语言符号的资源所在；同时，本书也将塔尔斯基(AlfredTarski，1901-1983)的语义解释方案以及真实性定义纳入CFZFC。

更多科学出版社服务，请扫码获取。