Natura nihil agit frustra [Nature does nothing in vain] is the only indisputible axiom in philosophy. There are no grotesques in nature; not any thing framed to fill up empty cantons, and unncecessary spaces.

Before you generalize, formalize, and axiomatize there must be mathematical substance.

It hath been an old remark, that Geometry is an excellent Logic. And it must be owned that when the definitions are clear; when the postulata cannot be refused, nor the axioms denied; when from the distinct contemplation and comparison of figures, their properties are derived, by a perpetual well-connected chain of consequences, the objects being still kept in view, and the attention ever fixed upon them; there is acquired a habit of reasoning, close and exact and methodical; which habit strengthens and sharpens the mind, and being transferred to other subjects is of general use in the inquiry after truth.

The development of mathematics toward greater precision has led, as is well known, to the formalization of large tracts of it, so that one can prove any theorem using nothing but a few mechanical rules... One might therefore conjecture that these axioms and rules of inference are sufficient to decide any mathematical question that can at all be formally expressed in these systems. It will be shown below that this is not the case, that on the contrary there are in the two systems mentioned relatively simple problems in the theory of integers that cannot be decided on the basis of the axioms.

The grand aim of all science is to cover the greatest number of empirical facts by logical deduction from the smallest possible number of hypotheses or axioms.

They [mathematicians] only take those things into consideration, of which they have clear and distinct ideas, designating them by proper, adequate, and invariable names, and premising only a few axioms which are most noted and certain to investigate their affections and draw conclusions from them, and agreeably laying down a very few hypotheses, such as are in the highest degree consonant with reason and not to be denied by anyone in his right mind. In like manner they assign generations or causes easy to be understood and readily admitted by all, they preserve a most accurate order, every proposition immediately following from what is supposed and proved before, and reject all things howsoever specious and probable which can not be inferred and deduced after the same manner.

Think of the image of the world in a convex mirror. ... A well-made convex mirror of moderate aperture represents the objects in front of it as apparently solid and in fixed positions behind its surface. But the images of the distant horizon and of the sun in the sky lie behind the mirror at a limited distance, equal to its focal length. Between these and the surface of the mirror are found the images of all the other objects before it, but the images are diminished and flattened in proportion to the distance of their objects from the mirror. ... Yet every straight line or plane in the outer world is represented by a straight line or plane in the image. The image of a man measuring with a rule a straight line from the mirror, would contract more and more the farther he went, but with his shrunken rule the man in the image would count out exactly the same results as in the outer world, all lines of sight in the mirror would be represented by straight lines of sight in the mirror. In short, I do not see how men in the mirror are to discover that their bodies are not rigid solids and their experiences good examples of the correctness of Euclidean axioms. But if they could look out upon our world as we look into theirs without overstepping the boundary, they must declare it to be a picture in a spherical mirror, and would speak of us just as we speak of them; and if two inhabitants of the different worlds could communicate with one another, neither, as far as I can see, would be able to convince the other that he had the true, the other the distorted, relation. Indeed I cannot see that such a question would have any meaning at all, so long as mechanical considerations are not mixed up with it.

We may lay it down as an incontestible axiom, that, in all the operations of art and nature, nothing is created; an equal quantity of matter exists both before and after the experiment; the quality and quantity of the elements remain precisely the same; and nothing takes place beyond changes and modifications in the combination of these elements. Upon this principle the whole art of performing chemical experiments depends: We must always suppose an exact equality between the elements of the body examined and those of the products of its analysis.