In some early math course I learned a fourfold scheme of Primitives (undefined terms), Definitions, Axioms, and Inference Rules. But later excursions tended to run the axioms and definitions together, speaking for example of mathematical objects like geometries, graphs, groups, topologies, etc. ad infinitum as defined by so many axioms. And later still I learned correspondences between axioms and inference rules that blurred even that line, making the distinction appear more a matter of application and interpretation than set in stone.
Be that as it may, the important theme running through all the variations remains whether the formal system inaugurated by whatever ritual is a system of consequence or not, whether and how well it determines a category of mathematical objects and, if you bear an applied mind, whether those objects serve the end of understanding the reality that does not cease to press on us.