Os Juízos Sintéticos a Priori são aqueles em que o predicado não se identifica com o sujeito, porém, não necessita de uma experiência imediata para a sua comprovação. Um exemplo desse juízo é a matemática, como o próprio Kant descreveu: "Poder-se-ia em verdade crer, à primeira vista, que a proposição 7+5=12 é puramente analítica, resultante, segundo o princípio de contradição, do conceito de uma soma de sete e cinco. Mas se a considerarmos com mais atenção que o conceito de soma de sete e cinco não contém mais do que a união dos dois números em um só, o que não faz pensar qual seja esse número único que compreenda aos outros dois. O conceito de 12 não é de modo algum percebido só pelo pensamento da união de cinco e sete, e posso decompor todo meu conceito dessa soma tanto quanto quiser, sem que por isso encontre o número doze."