Definition:Language of Arithmetic

From ProofWiki
Jump to: navigation, search

Definition

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:


Comment

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