Logical Wristguards of Axioms