作为数学中最基本的二进制运算之一,加法在递归元素网络框架中占据核心地位。从递归元素的公理系统(a1–a4)出发,本文严格证明加法运算满足存在性,编码不变性、代谢守恒和生成性,从而确立了其作为数学宇宙中基本递归元素的地位。通过交换幺半群范范的初始对象性质,我们证明加法作为基宇宙中的不可约因果原原存在;我们通过宇宙提升证明其编码不变性;我们通过基团完备和局域化等代谢算符来确定其守恒;我们揭示了加法如何递归生成自然数、整数、有理数、实数、复形及其他代数结构,并与其他递归元素(素分布、指数函数、群结构等)深度耦合。该定理揭示了加法在数学中的基础作用——它不仅仅是运算,而是连接多个结构的因果纽带。
Wei Luo (Wed,) studied this question.