摘要 数学和物理有相同的基础 数学和物理的基本结构 公理数学的元建模 数学解释的几个简单例子 元数学空间 生成变量的问题 应用于规则的规则 累积进化 累计字符串系统 超图的情况 累加系统中的证明 超越替代:共替代与双替代 一些最早的元数学现象学 与自动定理证明的关系 现代数学公理体系 模型理论视角 Axiom系统在野外 证明空间的拓扑 时间、永恒和内蕴织物 真理观 人类数学会是什么样子? 低于公理数学 数学的物理化规律 元数学空间中的一致性与运动 元数学中的引力效应和相对论效应 经验元数学 发明还是发现? 数学与人类的关系 人类数学可以有什么公理? 数理艾美奖的计数 一些历史(和哲学)背景 数学未来的含义 一些个人历史:这些思想的演变 注释和感谢 图形键 词汇表 参考文献 索引