The study of mathematical systems based on a set of basic assumptions (axioms) and their implications.