Definition, synonyms and related words
A set of axioms or axiom schemata from which theorems can be derived.