Definition:Language of Arithmetic

From ProofWiki
Jump to navigation Jump to search


A language of arithmetic is a signature for predicate logic consisting of:

Standard Interpretation

The standard interpretation for this language is the set of integers with:


This is just one of many different signatures that could claim to be the language of arithmetic.