Under the Anti-Foundation Axiom, every (flat) system of equations has a unique solution (Aczel's Solution Lemma); primordial equations replace axiomatic propositions on this basis.
primordial equation （本原方程）
A fixed-point equation replacing an axiom
- Dictionary-level correspondences
- 本原方程 ↔ 公理〔词典级〕