*Intuitionism* is a branch of logic which stresses that mathematics has priority over logic, the objects of mathematics are constructed and operated upon in the mind by the mathematician, and it is impossible to define the properties of mathematical objects simply by establishing a number of axioms.

In particular, intuitionists reject the *Law of the Excluded Middle* which allows proof by contradiction.