fragment of arithmetic
C60484
concept
A fragment of arithmetic is a restricted subsystem of full arithmetic that includes only certain operations, quantifiers, or axioms, studied to analyze specific logical or computational properties.
Instances (1)
| Instance | Via concept surface |
|---|---|
| Skolem arithmetic | — |