It is not possible to discuss Kant’s philosophy of mathematics independently of his philosophic system as a whole since the former is part and parcel of the latter, it should rather be dealt with within Kantian system. However, since Kant paid much attention to mathematical properties-that is, synthetic a priori propsitions which rest on intuition-so that he could found a new form of metaphysics, he came up with certain views on the principles of mathematics worthy of research and reflection. Moreover, as Kant’s philosophy is related to the mathematics of his era, it is not possible to reach the depth of his thought without having knowledge of the latter. This article at first place offers an overview of the history of mathematics and its interrelationship with philosophic systems, and then proceeds to deal with what Kant offers in connection with mathematics.