Кант считает все эмпирические суждения синтетическими, поскольку они всегда направлены на получение принципиально нового знания, приращения знания к уже существующему объему знаний. Также синтетическими являются все математические суждения. Однако, замечает Кант, настоящие математические положения носят не синтетический, а априорный характер. Ведь для того, чтобы оперировать понятиями сложения, суммы или разности, необязательно всегда обращаться к опыту. Таким образом, математика является сферой чистых априорных понятий. То же самое и с истинами геометрии.