axiom
noun
(logic) a proposition that is not susceptible of proof or disproof; its truth is assumed to be self-evident
Origin
From Middle French axiome in the 15th century, from Latin axiōma (“axiom; principle”), from Ancient Greek ἀξίωμα (axíōma, “that which is thought to fit, a requisite, that which a pupil is required to know beforehand, a self-evident principle”), from ἀξιόω (axióō, “to think fit or worthy, to require, to demand”), from ἄξιος (áxios, “fit, worthy”, literally “weighing as much as; of like value”), from ἄγω (ágō, “to weigh (down)”).
Phrases
- axiom of countable choice
- axiom of extensionality
- axiom schema
- axiom schema of abstraction
- axiom schema of separation
- axiom scheme
- axiom system
- closure axiom
Related words
Word family
Broader terms
WordNet 2.1 (Princeton University). Wiktionary (CC BY-SA). CMU Pronouncing Dictionary. WordNet 2.1 Copyright Princeton University. All rights reserved. Wiktionary content is available under the Creative Commons Attribution-ShareAlike Licence.