In logic , the procedure by which an entire science or system of theorems is deduced in accordance with specified rules by logical deduction from certain basic propositions ( axioms ), which in turn are constructed from a few terms taken as primitive.
These terms may be either arbitrarily defined or conceived according to a model in which some intuitive warrant for their truth is felt to exist. The oldest examples of axiomatized systems are Aristotle's syllogistic and Euclidean geometry . Early in the 20th century, Bertrand Russell and Alfred North Whitehead attempted to formalize all of mathematics in an axiomatic manner. Scholars have even subjected the empirical sciences to this method, as in J. H. Woodger's The Axiomatic Method in Biology (1937) and Clark Hull's Principles of Behavior (1943).