<b>数字</b><b>“0”</b><b>的功能与关系分析：一种基于内部视角的形式化框架</b>

<b>数字</b><b>“0”</b><b>的功能与关系分析：一种基于内部视角的形式化框架</b>作者：王宝军、夏挽岚、祖光照、周志农<b>副标题</b><b>： </b><b>从系统内部实践看一个概念的多种生命</b><br><b>摘要</b>数字“0”的研究长期分布于历史起源、哲学本体论与特定理论功能之间。一个系统的、专注于分析“0”在不同形式系统中被定义和部署的<b>功能性角色</b>及其<b>定义性关系</b>的研究仍相对缺乏。本文旨在填补这一空白，并提出并应用一个名为“功能性-关系性分析框架”（Functional-Relational Framework， FRF）的新模型。FRF的核心论点是：理解“0”应聚焦于其在特定形式系统内部被赋予的<b>功能性角色</b>（如作为起点、边界、单位元）以及它与其他核心概念构成的<b>定义性关系</b>（即那些在系统公理中与之紧密绑定、共同实现其功能的核心概念与运算），而非其形而上学本质。本文首先方法论性地澄清了FRF的核心原则与分析步骤，将其定位为一种聚焦于“系统内部实践”的分析视角，并明确了其与作主义、结构主义的承继与发展关系。继而，本文深入研究了四个核心案例：（1）集合论中作为生成起点的空集及其与后继运算的关系;（2）代数结构中作为单位元的零及其唯一性;（3）类型论中作为逻辑极点的空类型及其万有性质;（4）FRF框架下的跨系统比较——空集（集合论）与空类型（类型论）的功能性差异分析。每个案例均通过Coq形式化验证，并<b>明确阐释了验证结果如何具体支撑</b><b>FRF</b><b>的核心主张</b>。最后，本文通过审慎探讨其与巴迪欧“空集”哲学的区别与联系，明确了FRF作为一种“内部视角”的边界与价值。本研究通过哲学辨析、案例深挖与形式化验证的深度融合，最终提炼出的分析模型，具备清晰性、可操作性及良好的可推广性。<b>关键词</b><b>：</b> 0; 数学哲学; 功能分析; 关系性角色; 形式化方法;Coq证明助手;集合论;类型论