arithmetical sentence
C62995
concept
An arithmetical sentence is a closed formula in the language of first-order arithmetic, containing no free variables, that makes a definite claim about natural numbers using symbols for 0, successor, addition, multiplication, equality, logical connectives, and quantifiers.
Instances (1)
| Instance | Via concept surface |
|---|---|
| Rosser sentence | — |