It is by logic that we prove, but by intuition that we discover. To know how to criticize is good, to know… — Henri Poincaré

Logic sometimes breeds monsters. For half a century there has been springing up a host of weird functions, which seem to strive to have as little resemblance as possible to honest functions that are of some use. No more continuity, or else continuity but no derivatives, etc. More than this, from the point of view of logic, it is these strange functions that are the most general; those that are met without being looked for no longer appear as more than a particular case, and they have only quite a little corner left them. Formerly, when a new function was invented, it was in view of some practical end. Today they are invented on purpose to show our ancestors' reasoning at fault, and we shall never get anything more than that out of them.

It is because simplicity and vastness are both beautiful that we seek by preference simple facts and vast facts; that we take delight, now in following the giant courses of the stars, now in scrutinizing the microscope that prodigious smallness which is also a vastness, and now in seeking in geological ages the traces of a past that attracts us because of its remoteness.

Every definition implies an axiom, since it asserts the existence of the object defined. The definition then will not be justified, from the purely logical point of view, until we have proved that it involves no contradiction either in its terms or with the truths previously admitted.