Noun
A formal presentation of the properties of numbers.
(linguistics) The encoding of words as numbers