In mathematics and logic, an axiomatic system is any set of axioms from which some or all axioms can be used in conjunct