A comparison of Kant and Frege: Are the laws of arithmetic analytic A priori or syntetic A priori?

The dissertation based on the foundations of arithmetic is somewhat evaluation and comparison of the works of eighteenth century German philosopher Immanuel Kant and another German philosopher-mathematician Gottlob Frege who lived in the nineteenth century. According to Kant, arithmetical judgments are synthetic a priori and he establishes this idea in his Critique of Pure Reason (1781) and Prolegomena (1783). This establishment is entirely appropriate to his epistemology. Considering the ideas of Kant, it is impossible to establish arithmetical judgments with respect to analyze of concepts and definitions. This establishment requires another special procedure, which Kant says, construction in pure intuition. Frege, on the contrary, claims that arithmetical judgments are analytic a priori. He establishes this idea in his main work called The Foundations of Arithmetic (1884). Frege claims that arithmetical judgments can be derived by only the laws of logic. Another meaning of this expression is that there are not anything that requires intuition to be proven, everything in arithmetic can be derived by logical laws through a deductive method. This is equal to say arithmetical judgments are analytic. While writing the dissertation, I used Kant's Critique of Pure Reason and Prolegomena and Frege's The Foundations of Arithmetic mainly. And I also reviewed the books and the articles of other authors that were written about Kant's and Frege's philosophy of arithmetic. And I also stated them in the bibliography of the dissertation. Keywords: Kant, Frege, Arithmetic, Analytic Judgment, Synthetic Judgment