Spinoza and Leibniz showed that mathematical necessity requires an account of why the axioms themsel...