arithmetic, formal system of

<logic> A first-order theory with a finite alphabet, and only finitely long wffs which, on its intended interpretation (1) contains theorems that express truths of number theory, and (2) permits the construction of a term to denote any natural number.

[Glossary of First-Order Logic]

<2001-03-16>

Try this search on OneLook / Google