问道研究所

问道研究所

本原方程 primordial equation

取代公理的不动点方程

词典级对照
本原方程 ↔ 公理〔词典级〕

相关命题

级别复核中：上游命题有变动，本条的级别正在复核。
SGC-0011 定理级 外部定理

在反基础公理（AFA）下，（平坦）方程组有唯一解（Aczel 解引理）；本原方程以此取代公理命题。