Metadata
Author: WikiMatrix
Data
English[en]
A set is definable in first-order arithmetic if it is defined by some formula in the language of Peano arithmetic.
Spanish[es]
Un conjunto es definible mediante aritmética de primer orden si el mismo es definido por alguna fórmula en el lenguaje de la aritmética de Peano.