Kant's analytic-synthetic distinction reveals that synthetic a priori judgments, such as mathematica...