元数学基础

《元数学基础》所涉及的是数学和元数学的基础问题，旨在以明确的、具体有限的基本版图作为出发点，建立严格的元数学形式理论体系，以期实现对弗雷格“第三领域”以及哥德尔“概念王国”的一种恰当解释。 本卷是《元数学基础》的第一卷，主要完成两大基本任务：首先，限定在一个具体的有限字符表上，详细解释全书将使用的集合论语言下一般性、确保正确性的具体工具和方法，并且逐一严格论证；其次，渐进地引进集合论语言下的基本公理以及基本概念，并且以此为基础，现关于“有限性”、“自然数”以及“基本算术律”的形式解释。本卷是全书中纯粹、具体的“有限性”理论。