星期二, 29 9 月, 2026

本原方程 primordial equation

取代公理的不动点方程

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

相关命题

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

在反基础公理(AFA)下,(平坦)方程组有唯一解(Aczel 解引理);本原方程以此取代公理命题。