 Kant asks two related leading questions of his critical philosophy: (1) How are synthetic judgments a priori possible?; and, (2) How is metaphysics possible as a science (B19; B23)? Mathematics provides a special avenue for helping to answer these questions by providing a model of a codified scientific discipline the possibility of which is clear and, moreover, guaranteed by its own achievement of cognition that is both synthetic and a priori (Anderson 2015). In other words, an explanation of how synthetic a priori judgments are affirmed in mathematical contexts, together with the resulting and related explanation of how a systematic body of demonstrable knowledge comprises such judgments, allow mathematical truth to be invoked as a paradigm of the substantive yet necessary and universal truths that metaphysics hopes to achieve. Kant’s theory of mathematical concept construction (discussed above) can only be fully appreciated in conjunction with his treatment of such broader questions about the very nature and possibility of mathematical and metaphysical knowledge (Jauernig 2013).