We can easily pass from one enunciation to the other and thus get the illusion of having demonstrated the legitimacy of reasoning by recurrence. But we shall always be arrested, we shall always arrive at an undemonstrable axiom which will be in reality only the proposition to be proved translated into another language. We can not therefore escape the conclusion that the rule of reasoning by recurrence is irreducible to the principle of contradiction. Neither can this rule come to us from experience; experience could teach us that the rule is true for the first ten or hundred numbers; for example, it can not attain to the indefinite series of numbers, but only to a portion of this series, more or less long but always limited. Now if it were only a question of that, the principle of contradiction would suffice; it would always allow of our developing as many syllogisms as we wished; it is only when it is a question of including an infinity of them in a single formula, it is only before the infinite that this principle fails, and there too, experience becomes powerless. This rule, inaccessible to analytic demonstration and to experience, is the veritable type of the synthetic _a priori_ judgment. On the other hand, we can not think of seeing in it a convention, as in some of the postulates of geometry. Why then does this judgment force itself upon us with an irresistible evidence? It is because it is only the affirmation of the power of the mind which knows itself capable of conceiving the indefinite repetition of the same act when once this act is possible. The mind has a direct intuition of this power, and experience can only give occasion for using it and thereby becoming conscious of it. But, one will say, if raw experience can not legitimatize reasoning by recurrence, is it so of experiment aided by induction? We see successively that a theorem is true of the number 1, of the number 2, of the number 3 and so on; the law is evident, we say, and it has the same warranty as every physical law based on observations, whose number is very great but limited. Here is, it must be admitted, a striking analogy with the usual procedures of induction. But there is an essential difference. Induction applied to the physical sciences is always uncertain, because it rests on the belief in a general order of the universe, an order outside of us. Mathematical induction, that is, demonstration by recurrence, on the contrary, imposes itself necessarily because it is only the affirmation of a property of the mind itself. VII Mathematicians, as I have said before, always endeavor to _generalize_ the propositions they have obtained, and, to seek no other example, we have just proved the equality: _a_ + 1 = 1 + _a_ and afterwards used it to establish the equality _a_ + _b_ = _b_ + _a_ which is manifestly more general. Mathematics can, therefore, like the other sciences, proceed from the particular to the general.