The very possibility of mathematical science seems an insoluble contradiction. If this science is deductive in appearance only, from where does it ge… - Henri Poincaré

" "

The very possibility of mathematical science seems an insoluble contradiction. If this science is deductive in appearance only, from where does it get its perfect rigor that no one dares to doubt? If, on the contrary, all the propositions it sets forth can be derived from one another by the rules of formal logic, why is mathematics not reducible to an immense tautology? Syllogism can teach us nothing that is essentially new and, if everything originated in the principle of identity, it should also be possible to reduce everything to it. Are we then to concede that the statements of all those theorems filling so many volumes are merely roundabout ways of saying that A is A?