Maybe this is a dumb question. I'm a bit tired right now. What is a "theory" in mathematics, and what kind of statements can we call "axioms"? To be more specific, is "group theory" a mathematical theory, and if yes, what are its axioms? Should I think of the definition of "group" as an axiom of the theory, or as "just a definition"?