In his Critique of Pure Reason and in his letter to Johann Schultz, November 25, 1788, Kant proposes at least six arguments in order to prove that arithmetical judgements are synthetic. In this paper these arguments are systematically expounded and critically discussed.