Skip to definition.
Get the FREE one-click dictionary software for Windows or the iPhone/iPad and Android apps


Noun: axiomatic system
  1. Any set of axioms from which some or all axioms can be used in conjunction to logically derive theorems.
    "An axiomatic system is said to be consistent if it lacks contradiction (i.e. it is not possible to derive both a statement and its negation from the system's axioms)."

Type of: formal system

Encyclopedia: Axiomatic system