True arithmetic
≈ 1 min read
Names in other languages
No names in other languages are held for this entry yet.
Article bodies are English and are not machine-translated. A name in another language is not a translation of the article.
In mathematical logic, true arithmetic is the set of all true first-order statements about the arithmetic of natural numbers. This is the theory associated with the standard model of the Peano axioms in the language of the first-order Peano axioms. True arithmetic is occasionally called Skolem arithmetic, though this term usually refers to the different theory of natural numbers with multiplication.
In mathematical logic, true arithmetic is the set of all true first-order statements about the arithmetic of natural numbers. This is the theory associated with the standard model of the Peano axioms in the language of the first-order Peano axioms. True arithmetic is occasionally called Skolem arithmetic, though this term usually refers to the different theory of natural numbers with multiplication. \mbox{Th}(\mathcal{N}) = \bigcup_{n \in \mathbb{N}} \mbox{Th}_n(\mathcal{N}) but no single formula can define for arbitrarily large n. ==Notes==
Text derived from https://en.wikipedia.org/w/index.php?oldid=1310762927 under CC BY-SA 4.0; modifications have been made.