<logic> A symbol or wff whose intended interpretation is a number. Notation: ("n" with a bar over it), also "n" (numeral for number n).
Numerals that adjectivally modify nouns, as in "three bags full" and "two turtle doves". predicate logic can express adjectival numerals unambiguously, but not noun numerals.
Numerals that function as nouns or substantives in the propositions in which they occur, as "three is the successor of two".
[Glossary of First-Order Logic]
Try this search on OneLook / Google