📚 网上馆配 · 在线荐购平台

内容简介：本书建立元数学形式理论——CFZFC概念文字，包括四个方面：应用彻底有限集合资源建立一阶逻辑形式系统、元数学基本概念；在集合论形式理论基础上实现一阶逻辑形式语义解释、形式表述塔尔斯基真实性定义以及哥德尔完备性定理；完整建立起CFZFC概念文字形式理论；最后，在这个新概念文字系统下探讨逻辑哲学中的“逻辑真理”定义问题。