本书引入具体的基本弗瑞格法则以及自然数形式理论，分为四章。第一章明确全书将使用的(作为工具和方法的)具体弗瑞格法则以及它们的部分形式推论；第二章，引进作为后续发展的出发点的基本策墨珞理论；第三章，引进自然离散线性序概念，并展开形式分析；第四章，在现有元理论基础上定义“有限”概念以及解决基本算术理论基础问题。

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