It seems to me that math is a set of symbolic tools for clarifying the tautological nature of non-transparently tautological assertions.
It seems to me that math is a set of symbolic tools for clarifying the tautological nature of non-transparently tautological assertions.