If... it be supposed that another way of measuring time is adopted... enunciation of the law would be... translated into another language... much les… - Henri Poincaré

The very possibility of the science of mathematics seems an insoluble contradiction. If this science is deductive only in appearance, whence does it derive that perfect rigor no one dreams of doubting? If, on the contrary, all the propositions it enunciates can be deduced one from another by the rules of formal logic, why is not mathematics reduced to an immense tautology? The syllogism can teach us nothing essentially new, and, if everything is to spring from the principle of identity, everything should be capable of being reduced to it. Shall we then admit that the enunciations of all those theorems which fill so many volumes are nothing but devious ways of saying A is A! ...Does the mathematical method proceed from particular to the general, and, if so, how can it be called deductive? ...If we refuse to admit these consequences, it must be conceded that mathematical reasoning has of itself a sort of creative virtue and consequently differs from a syllogism.

[A]stronomers... define duration in the following way: time... so defined that Newton's law and that of vis viva [or of the ] may be verified. Newton's law is an experimental truth... only approximate... [W]e still have only a definition by approximation.

Logic sometimes creates monsters.