Pure mathematics consists entirely of assertions to the effect that, if such and such a proposition is true of anything, then such and such another proposition is true of that thing. It is essential not to discuss whether the first proposition is really true, and not to mention what the anything is, of which it is supposed to be true … If our hypothesis is about anything, and not about some one or more particular things, then our deductions constitute mathematics. Thus mathematics may be defined as the subject in which we never know what we are talking about, nor whether what we are saying is true. People who have been puzzled by the beginnings of mathematics will, I hope, find comfort in this definition, and will probably agree that it is accurate.

Pure mathematics consists entirely of assertions to the effect that, if such and such a proposition is true of anything, then such and such another proposition is true of that thing. It is essential not to discuss whether the first proposition is really true, and not to mention what the anything is, of which it is supposed to be true. Both these points would belong to applied mathematics. We start, in pure mathematics, from certain rules of inference, by which we can infer that if one proposition is true, then so is some other proposition. These rules of inference constitute the major part of the principles of formal logic. We then take any hypothesis that seems amusing, and deduce its consequences. If our hypothesis is about anything, and not about some one or more particular things, then our deductions constitute mathematics. Thus mathematics may be defined as the subject in which we never know what we are talking about, nor whether what we are saying is true. People who have been puzzled by the beginnings of mathematics will, I hope, find comfort in this definition, and will probably agree that it is accurate.

Pure mathematics consists entirely of assertions to the effect that, if such and such a proposition is true of anything, then such and such another proposition is true of that thing. It is essential not to discuss whether the first proposition is really true, and not to mention what the anything is, of which it is supposed to be true. [...] Thus mathematics may be defined as the subject in which we never know what we are talking about, nor whether what we are saying is true. People who have been puzzled by the beginnings of mathematics will, I hope, find comfort in this definition, and will probably agree that it is accurate.

Pure Mathematics is the class of all propositions of the form "p implies q," where p and q are propositions containing one or more variables, the same in the two propositions, and neither p nor q contains any constants except logical constants. And logical constants are all notions definable in terms of the following: Implication, the relation of a term to a class of which it is a member, the notion of such that, the notion of relation, and such further notions as may be involved in the general notion of propositions of the above form. In addition to these, mathematics uses a notion which is not a constituent of the propositions which it considers, namely the notion of truth.

Pure Mathematics is the class of all propositions of the form “p implies q,” where p and q are propositions containing one or more variables, the same in the two propositions, and neither p nor q contains any constants except logical constants. And logical constants are all notions definable in terms of the following: Implication, the relation of a term to a class of which it is a member, the notion of such that, the notion of relation, and such further notions as may be involved in the general notion of propositions of the above form. In addition to these, mathematics uses a notion which is not a constituent of the propositions which it considers, namely the notion of truth.

Pure mathematics is a collection of hypothetical, deductive theories, each consisting of a definite system of primitive, undefined, concepts or symbols and primitive, unproved, but self-consistent assumptions (commonly called axioms) together with their logically deducible consequences following by rigidly deductive processes without appeal to intuition.

Pure mathematics proves itself a royal science both through its content and form, which contains within itself the cause of its being and its methods of proof. For in complete independence mathematics creates for itself the object of which it treats, its magnitudes and laws, its formulas and symbols.

From Pythagoras to Boethius, when pure mathematics consisted of arithmetic and geometry while applied mathematics consisted of music and astronomy, mathematics could be characterized as the deductive study of 'such abstractions as quantities and their consequences, namely figures and so forth' (Acquinas ca. 1260). But since the emergence of abstract algebra it has become increasingly difficult to formulate a definition to cover the whole of the rich, complex and expanding domain of mathematics.

Mathematics is the science which draws necessary conclusions.

Pure mathematics is religion.

[Mathematics is] the science that draws necessary conclusions.

Perhaps the least inadequate description of the general scope of modern Pure Mathematics—I will not call it a definition—would be to say that it deals with form, in a very general sense of the term; this would include algebraic form, functional relationship, the relations of order in any ordered set of entities such as numbers, and the analysis of the peculiarities of form of groups of operations.

There is no agreed upon definition of mathematics, but there is widespread agreement that the essence of mathematics is extension, generalization, and abstraction... [which] often bring increased confidence in the results of a specific application, as well as new viewpoints.

Pure mathematics is in its way the poetry of logical ideas.