На первый взгляд может показаться, что положение 7+5=12 чисто аналитическое [суждение], вытекающее по закону противоречия из понятия суммы семи и пяти. Однако, присматриваясь ближе, мы находим, что понятие суммы 7 и 5 содержит в себе только соединение этих двух чисел в одно и от этого вовсе не мыслится, каково то число, которое охватывает оба слагаемых. Понятие двенадцати отнюдь еще не мыслится от того, что я мыслю соединение семи и пяти; и сколько бы я ни расчленял свое понятие такой возможной суммы, я не найду в нем числа 12. Для этого необходимо выйти за пределы этих понятий, прибегая к помощи созерцания, соответствующего одному из них, например своих пяти пальцев или (как это делает Зегнер в своей арифметике) пяти точек, и присоединять постепенно единицы числа 5, данного в созерцании, к понятию семи. В самом деле, я беру сначала число семь и затем, для получения понятия пяти, прибегая к помощи созерцания пальцев своей руки, присоединяю постепенно к числу 7 с помощью этого образа единицы, ранее взятые для составления числа 5, и таким образом вижу, как возникает число 12. То, что 5 должно было быть присоединено к 7, я, правда, мыслил в понятии суммы =7+5, но не мыслил того, что эта сумма равна двенадцати. Следовательно, приведенное арифметическое суждение всегда синтетическое.
Этот отрывок довольно скучен и неглубок, но вот зато есть небольшая статья (англ.) о синтетическом и аналитическом в применении к арифметике и геометрии у Канта. Довольно интересная.
(долго вспоминал, откуда мне знакомо имя автора, Питера Субера, потом вспомнил наконец, что три года назад читал его статью о логической грубости, очень хорошую)