论皮亚诺算术的非标准模型与坦嫩鲍姆定理

纵观数学史，对先前理解的概念和结构进行推广，促成了数系层级、非欧几何以及数学进程中诸多划时代阶段的丰硕发展。在算术形式化理论的研究中，从皮亚诺算术的标准模型 $\langle \mathbb{N},+,\times,\leq,0,1 \rangle$ 推广到算术的非标准模型，是自然而然的一步。皮亚诺算术非标准模型的存在，在 20 世纪早期为模型论中关于模型同构分类以及非标准模型所具性质的一系列问题提供了动机。本文阐述这些问题以及证明坦嫩鲍姆定理所需的必要结果，该定理在标准模型与非标准模型的性质之间划出了一条明确的界限；即，不存在可数的递归皮亚诺算术非标准模型。这些模型论成果为斯科伦（Skolem）、罗瑟（Rosser）、塔斯基（Tarski）、莫斯托夫斯基（Mostowski）等人发展的研究纲领奠定了基础性框架。尽管此类基础性议题在 20 世纪中叶对活跃的研究领域至关重要，但关于算术模型以及一般模型论的众多开放问题，在 21 世纪的数学话语中依然具有现实意义。