Haskell Curry defined mathematics simply as the science of formal systems. A formal system is a set of symbols, or tokens, and some rules telling how the tokens may be combined into formulas. In formal systems, the word axiom has a special meaning, different from the ordinary meaning of a self-evident truth.