Catch the False Axiom

A machine-checked proof is only as sound as its axioms — and an axiom can be false while every proof on top of it still type-checks. One of these three is unsound. Find it, build the counterexample, and watch its conclusion collapse to 1 = 0.