True arithmetic (Q7847560)
Jump to navigation
Jump to search
the set of all true first-order statements about the arithmetic of natural numbers
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | True arithmetic |
the set of all true first-order statements about the arithmetic of natural numbers |
Statements
Identifiers
Sitelinks
Wikipedia(3 entries)
- enwiki True arithmetic
- frwiki Arithmétique vraie
- jawiki 真の算術