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).
any set of axioms from which some or all axioms can be used in conjunction to logically derive theorems.