Math is the discipline of pushing axioms ever deeper to their logical conclusions