Immanuel Kant argues in the Critique of Pure Reason that the formal possibility for synthetic a priori knowledge depends upon the distinction between appearances and things-in-themselves. In this essay, it will be argued that although Kant successfully resolves the problems implicit in the categories of classical metaphysics, his solution unnecessarily limits thought to appearance. To counter his claim, set theory will be put forward as a synthetic a priori knowledge irreducible to appearance.