We can not therefore even say that in the really analytic and deductive part of mathematical reasoning we proceed from the general to the particular in the ordinary sense of the word.
The two members of the equality (2) are simply combinations more complicated than the two members of the equality (1), and analysis only serves to separate the elements which enter into these combinations and to study their relations.
Mathematicians proceed therefore 'by construction,' they 'construct' combinations more and more complicated. Coming back then by the analysis of these combinations, of these aggregates, so to speak, to their primitive elements, they perceive the relations of these elements and from them deduce the relations of the aggregates themselves.
This is a purely analytical proceeding, but it is not, however, a proceeding from the general to the particular, because evidently the aggregates can not be regarded as more particular than their elements.
Great importance, and justly, has been attached to this procedure of 'construction,' and some have tried to see in it the necessary and sufficient condition for the progress of the exact sciences.
Necessary, without doubt; but sufficient, no.
For a construction to be useful and not a vain toil for the mind, that it may serve as stepping-stone to one wishing to mount, it must first of all possess a sort of unity enabling us to see in it something besides the juxtaposition of its elements.
Or, more exactly, there must be some advantage in considering the construction rather than its elements themselves.
What can this advantage be?
Why reason on a polygon, for instance, which is always decomposable into triangles, and not on the elementary triangles?