本书内容从三个方面进行: 第一个方面: 以寻求能够避免说谎者悖论及其变体的“理想真理论”为线索, 对以一阶逻辑和皮亚诺算术为基础理论的经典公理化真理论的基本理论和研究框架进行概述。第二个方面: 减弱经典公理化真理论的基础理论, 将一阶逻辑减弱为直觉主义逻辑, 系统地研究基于直觉主义逻辑的公理化真理论。第三个方面: 加强经典公理化真理论的基础理论, 将皮亚诺算术加强为集合论, 系统地研究基于集合论的公理化真理论。

  ·点击进入下载地址