|
题名:
|
元数学基础 / 冯琦著 , |
|
ISBN:
|
978-7-03-083697-7 价格： CNY238.00 |
|
语种:
|
chi |
|
载体形态:
|
713页 24cm |
|
出版发行:
|
出版地： 北京 出版社： 科学出版社 出版日期： 2025 |
|
内容提要:
|
本书分为三卷。第一卷引入具体的基本弗瑞格法则以及自然数形式理论，分为四章。第一章明确全书将使用的(作为工具和方法的)具体弗瑞格法则以及它们的部分形式推论；第二章，引进作为后续发展的出发点的基本策墨珞理论；第三章，引进自然离散线性序概念，并展开形式分析；第四章，在现有元理论基础上定义“有限”概念以及解决基本算术理论基础问题。 |
|
主题词:
|
证明论 |
|
中图分类法:
|
O141.2 版次： 5 |
|
其它题名:
|
初始基本法则与有限性 |
|
主要责任者:
|
冯琦 著 |
|
附注:
|
国家出版基金项目 “十四五”时期国家重点出版物出版专项规划项目 |