Так как определенность предмета и отношений есть положенная определенность, то дальнейшие операции с ними тоже совершенно аналитичны, и в аналитической науке имеются поэтому не столько теоремы, сколько задачи. Аналитическая теорема содержит в себе задачу уже как решенную самоё по себе, и совершенно внешнее различие, присущее тем двум сторонам теоремы, которые в ней приравниваются друг к другу, столь несущественно, что такая теорема должна была бы показаться тривиальным тождеством. Кант, правда, объявил предложение «5 + 7 = 12» синтетическим предложением на том основании, что одно и то же содержание на одной стороне представлено в форме нескольких чисел, в форме 5 и 7, а на другой стороне в форме одного числа, в форме 12[101]. Однако если аналитическое предложение не должно означать совершенно абстрактно тождественное и тавтологическое «12 = 12» и в нем вообще должно быть некоторое движение вперед, то должно быть налицо какое-нибудь различие, но такое различие, которое не основывается ни на каком качестве, ни на какой определенности рефлексии и тем паче ни на какой определенности понятия. «5 + 7» и «12» суть совершенно то же самое содержание; в первой стороне равенства выражено также и требование, чтобы 5 и 7 были сочетаны в одном выражении; а это означает, что, подобно тому как 5 есть нечто сосчитанное, причем прекращение счета на этом числе было совершенно произвольным и счет мог бы с таким же успехом быть продолжен и дальше, так теперь следует считать дальше с условием, чтобы число долженствующих быть прибавленными единиц равнялось 7. «12» есть, следовательно, результат 5 и 7 и такого действия, которое здесь уже положено и по своей природе тоже есть некоторое совершенно внешнее, чуждое мысли дело, так что этот результат может поэтому быть осуществлен также и машиной. Здесь нет ни малейшего перехода к некоторому другому; это просто процесс продолжения, т. е. повторения того же самого действия, через которое произошли 5 и 7.