VariousWords beta
Related Terms:
Noun
Definition: A set of natural numbers that can be defined by a formula of first-order Peano arithmetic.
VariousWords beta
Definition: A set of natural numbers that can be defined by a formula of first-order Peano arithmetic.