axiomatic

The word axiomatic traces to axiōma, a term Aristotle coined in his Posterior Analytics around 350 BCE. He needed a name for propositions so self-evident they required no proof before reasoning could begin. Axiōma comes from axioun, meaning to think worthy or to deem fit, which in turn comes from axios, meaning weighing as much or of equal value. The root image is the balance scale: a truth axiomatic is one that holds its own weight without outside support.

Euclid took the concept and gave it its lasting form around 300 BCE. In his Elements, he opened with five postulates, drawing on the Greek tradition of axioms as starting points for geometric demonstration. Latin absorbed axioma almost without change, and Roman writers from Cicero onward used it in philosophical argument. Medieval scholars in Paris and Bologna read Euclid through Arabic translations, which had themselves translated from the Greek, and the term moved through Arabic usul before returning to Latin axioma.

English borrowed axiom in the 1570s, probably via French axiome, which had entered French from Latin in the early 16th century. The adjectival form axiomatic appears in English texts from around 1797, initially in mathematical and philosophical writing. Francis Bacon had already established the intellectual ground for such a word: his Novum Organum of 1620 insisted that all knowledge must rest on carefully examined first principles, preparing English readers to want a word for things that need no examination at all.

By the 20th century, axiomatic had expanded well beyond geometry. David Hilbert's program in the 1890s and early 1900s proposed formalizing all of mathematics on an axiomatic basis, giving the word renewed technical force. Kurt Gödel's incompleteness theorems of 1931 then showed that any sufficiently powerful axiomatic system must contain truths it cannot itself prove. In everyday use, the word now marks propositions a speaker considers settled: to call something axiomatic is to say argument is over.