The Theorem Nobody Wants: Metamathematical Necessity of Axioms via Reduction to Incoherence | Synapse