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.