Критика чистого разума   ::   Кант И

Все математические суждения- синтетические. Это положение до сих пор, по-видимому, ускользало от внимания аналитиков человеческого разума; более того, оно прямо противоположно всем их предположениям, хотя оно бесспорно достоверно и очень важно для дальнейшего исследования. В самом деле, когда было замечено, что умозаключения математиков делаются по закону противоречия (а это требуется природой всякой аподиктической достоверности), то уверили себя, будто основоположения также познаются исходя из закона противоречия; но это убеждение было ошибочным, так как синтетическое положение, правда, можно усмотреть из закона противоречия, однако никак не само по себе, а таким образом, что при этом всегда предполагается другое синтетическое положение, из которого оно может быть выведено.

Прежде всего следует заметить, что настоящие математические положения всегда априорные, а не эмпирические суждения, потому что они обладают необходимостью, которая не может быть заимствована из опыта. Если же с этим не хотят согласиться, то я готов свое утверждение ограничить областью чистой математики, само понятие которой уже указывает на то, что она содержит не эмпирическое, а исключительно только чистое априорное знание.

На первый взгляд может показаться, что положение 7+5=12 чисто аналитическое [суждение], вытекающее по закону противоречия из понятия суммы семи и пяти.