Mathematics is not the discoverer of laws, for it is not induction; neither is it the framer of theories, for it is not hypothesis; but it is the judge over both, and it is the arbiter to which each must refer its claims; and neither law can rule nor theory explain without the sanction of mathematics.

Linear Associative Algebra, American Journal of Mathematics, Volume 4, 1881 (p. 97)