术语
基础
- 存在之科学 Science of Being — 以「是」为核心算子、研究良基存在者的科学;生之科学在 ι→1 下的退化投影
- 道 Dao — 分化之前的非命名整体;生成操作而非存在者;不可公理化,只可算子化
- 分界基设 boundary postulate — 关于是侧/退化投影的奠基命题,非内部公理
- 固有类 proper class (project sense) — 被正则公理排除、以自身为前提的循环自嵌套结构;数学家园为 νF
- 涵摄非对称 containment asymmetry — 体系对的单向包含关系
- 互生 mutual arising — 两极在同一分化事件中同时涌现、互相定义;A=S(S(A))
- 生 Shēng — 质变与涌现的迭代算子 Xₙ₊₁=S(Xₙ),要求产生有限循环
- 生之科学 Science of Generation — 以「生」为核心算子、研究固有类(生成本身)的科学
- 旋机 rotor — 内含区分方法、该方法建立被区分者之间不变关系的自维持循环;生之科学的基础范畴
结构
- 本原方程 primordial equation — 取代公理的不动点方程
- 互模拟 bisimulation — 象面身份判据;有限情形可判定
- 守护性 guardedness — 每次自引用被一次实际生成守护;内生性双判据之一
- 五行轨 Five-Phase track — 二生三、双关系五元轨;承载相生(步长 1)与相克(步长 2)两种不可化约关系的最小封闭旋机
- 阴阳轨 yin-yang track — 一生二的 2ⁿ 嵌套轨,周期 2,处理层级嵌套与对立统一
- 终余代数 νF terminal coalgebra — F(νF)≅νF;固有类的数学家园;道的诸像之一
- 自例化 autologicality — 原理是自身内容的实例;内生性双判据之一
认识论
- 保生 generation-preserving — 推理中保持生成结构类型

