〔定理级〕在反基础公理（AFA）下，（平坦）方程组有唯一解（Aczel 解引理）；本原方程以此取代公理命题。——李旭彤《生之科学》（第十一章　无公理的基础：本原方程、余归纳与自举），问道研究所，2026。

李旭彤：〈SGC-0011〉在反基础公理（AFA）下，（平坦）方程组有唯一解（Aczel 解引理）；本原方程以此取代公理命题〔定理级〕，载《生之科学》第十一章　无公理的基础：本原方程、余归纳与自举，问道研究所，2026。https://reresearch.org/claim/sgc-0011/

Li, Xutong (2026). SGC-0011 [Theorem]: 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. In: Science of Generation, 第十一章　无公理的基础：本原方程、余归纳与自举. Reasoning Research Institute. https://reresearch.org/en/claim/sgc-0011/

@misc{SGC-0011,
  author = {Li, Xutong},
  title = {{SGC-0011}: 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.},
  howpublished = {Science of Generation Portal},
  organization = {Reasoning Research Institute},
  year = {2026},
  url = {https://reresearch.org/en/claim/sgc-0011/},
  note = {Epistemic tier: Theorem. Source: 第十一章　无公理的基础：本原方程、余归纳与自举}
}