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.