If finally the science of number were purely analytic, or could be analytically derived from a small number of synthetic judgments, it seems that a mind sufficiently powerful could at a glance perceive all its truths; nay more, we might even hope that some day one would invent to express them a language sufficiently simple to have them appear self-evident to an ordinary intelligence.
If we refuse to admit these consequences, it must be conceded that mathematical reasoning has of itself a sort of creative virtue and consequently differs from the syllogism.
The difference must even be profound. We shall not, for example, find the key to the mystery in the frequent use of that rule according to which one and the same uniform operation applied to two equal numbers will give identical results.
All these modes of reasoning, whether or not they be reducible to the syllogism properly so called, retain the analytic character, and just because of that are powerless.
II
The discussion is old; Leibnitz tried to prove 2 and 2 make 4; let us look a moment at his demonstration.
I will suppose the number 1 defined and also the operation x + 1 which consists in adding unity to a given number x.
These definitions, whatever they be, do not enter into the course of the reasoning.
I define then the numbers 2, 3 and 4 by the equalities
(1) 1 + 1 = 2; (2) 2 + 1 = 3; (3) 3 + 1 = 4.