Worlds of David Darling
Encyclopedia of Science
Home > Encyclopedia of Science

axiomatic method

A method of mathematical reasoning based on logical deduction from assumptions known as axioms. The method is fundamental to the philosophy of mathematics. It was used by the Greeks and formalized in the early 20th century by David Hilbert. In an axiomatic system, certain undefined entities (terms) are taken and described by a set of axioms. Other, often surprising, relationships (theorems) are then deduced by logical reasoning.

Related categories

   • LOGIC