Metadata
Author: WikiMatrix
Data
Esperanto[eo]
En matematika logiko aritmetika aro estas kalkulebla aro kiu povas esti difinita per formulo de aritmetiko de la unua ordo.
Portuguese[pt]
Em lógica matemática, um conjunto aritmético é um conjunto de números naturais que pode ser definido por uma fórmula de primeira ordem da aritmética de Peano.