Formalist definitions identify mathematics with its symbols and the rules for operating on them.
As definicións formalistas identifican as matemáticas cos seus símbolos e as regras operativas sobre eles.