primitive recursive arithmetic (Q7243580)
quantifier-free formalization of the natural numbers
- Skolem arithmetic
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | primitive recursive arithmetic |
quantifier-free formalization of the natural numbers |
|
Statements
Identifiers
Sitelinks
Wikipedia(3 entries)
- enwiki Primitive recursive arithmetic
- eswiki Aritmética recursiva primitiva
- jawiki 原始帰納的算術