Mathematics is a process of creating symbols and rules for manipulating the symbols to increase the power of logic.  For example, each of the following is a statement consisting of mathematical symbols.  Furthermore, all  of these statements are equivalent.  They mean the same thing.

But if mathematics increases the power of logic, what is logic?