Tuesday, September 29, 2026

Part B: Dao

Tier under review: an upstream claim has changed and the tier of this claim is being reviewed.
SGC-0011 Theorem External 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.

Tier under review: an upstream claim has changed and the tier of this claim is being reviewed.
SGC-0050 Lexical

Mutual arising ↔ adjunction (category theory).