"What exactly is mathematics? Many have tried but nobody has really succeeded in defining mathematics; it is always something else. Roughly speaking, people know that it deals with numbers, figures, with relations, operations, and that its formal procedures involving axioms, proofs, lemmas, theorems have not changed since the time of Archimedes."