This document presents a complete, rigorous formalization of Axiom A0, the foundational principle that nontrivial reality requires broken symmetry. The axiom states that for any domain with distinguishable structure, the automorphism group must be a strict subgroup of the full symmetric group. The proof proceeds through elementary group theory, establishing that transitive group actions eliminate all invariant distinctions, and therefore any system exhibiting nontrivial structure must have a nontransitive automorphism action. This result is proven without introducing new axioms, using only standard mathematical foundations. The formalization provides the unbreakable logical foundation for deriving physical reality from pure constraint. Related resourcesAdditional preprints, theoretical frameworks, and ongoing work by the author are available at:https://murad-ahmadov.github.io/
Murad Ahmadov (Tue,) studied this question.