Axiome

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Une formule adoptée comme hypothèse fondamentale d'un système formel à partir de laquelle d'autres formules peuvent être déduites ; les axiomes servent de vérités primitives ou de points de départ pour la déduction dans un langage et une logique donnés.