1. Noun. A set of axioms or axiom schemata from which theorems can be derived. ¹
¹ Source: wiktionary.com