Mathematical system. A structure formed from one or more sets of undefined objects, various concepts which may or may not be defined, and a set of axioms relating these objects and concepts.
