Submitted by György Chityil ... on Fri, 01/19/2018 - 20:34 Hierarchy: NounDescription: {{logic}} A set of natural numbers that can be defined by a formula of first-order Peano arithmetic.Ngram: arithmetical setNgram Text: arithmetical setSource: WiktionaryIssue: 0Wiktionary tag: logicNgram Count: 2