Skolem arithmetic (disambiguation)

Skolem arithmetic may refer to several distinct types of arithmetic.

Skolem arithmetic, the arithmetic of positive number with multiplication and equality.
Primitive recursive arithmetic, a quantifier-free formalization of the natural numbers.
True arithmetic, the statements true about the standard natural numbers.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.