A set of axioms that define a mathematical system.**