The great master of the art of formal reasoning, among the men of our own day, is an Italian, Professor Peano, of the University of Turin.[12] He has reduced the greater part of mathematics (and he or his followers will, in time, have reduced the whole) to strict symbolic form, in which there are no words at all. In the ordinary mathematical books, there are no doubt fewer words than most readers would wish. Still, little phrases occur, such as _therefore, let us assume, consider_, or _hence it follows_. All these, however, are a concession, and are swept away by Professor Peano. For instance, if we wish to learn the whole of Arithmetic, Algebra, the Calculus, and indeed all that is usually called pure mathematics (except Geometry), we must start with a dictionary of three words. One symbol stands for _zero_, another for _number_, and a third for _next after_. What these ideas mean, it is necessary to know if you wish to become an arithmetician. But after symbols have been invented for these three ideas, not another word is required in the whole development. All future symbols are symbolically explained by means of these three. Even these three can be explained by means of the notions of _relation_ and _class_; but this requires the Logic of Relations, which Professor Peano has never taken up. It must be admitted that what a mathematician has to know to begin with is not much. There are at most a dozen notions out of which all the notions in all pure mathematics (including Geometry) are compounded. Professor Peano, who is assisted by a very able school of young Italian disciples, has shown how this may be done; and although the method which he has invented is capable of being carried a good deal further than he has carried it, the honour of the pioneer must belong to him.