A demonstration really based upon the principles of Analytical Logic will be composed of a succession of propositions ; some, which will serve as pre… - Henri Poincaré

" "

A demonstration really based upon the principles of Analytical Logic will be composed of a succession of propositions ; some, which will serve as premises, will be identities or definitions ; others will be deduced from the former step by step ; but although the connexion between each proposition and the succeeding proposition can be grasped immediately, it is not obvious at a glance how it has been possible to pass from the first to the last, which we may be tempted to look upon as a new truth. But if we replace successively the various expressions that are used by their definitions, and if we pursue this operation to the furthest possible limit, there will be nothing left at the end but identities, so that all will be reduced to one immense tautology. Logic therefore remains barren, unless it is fertilized by intuition.