Comment by loglog

> Mathematics is about discovering and understanding the logical implications of assumed axioms under various inference rules.

That's like saying that programming is about producing valid programs in various programming languages.