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.