Encyclopedia of Science
LOGIC
PHILOSOPHY
A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z

                   HOME
ABOUT
CATEGORIES
COPYRIGHT
NEWSLETTER

  



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
   • PHILOSOPHY


Also on this site:

Encyclopedia of Alternative Energy & Sustainable Living
Encyclopedia of History





BACK TO TOP