The Axiom of Topological Degrees of Freedom Formalization and Proof | Synapse