Sekirov Dictionary

arithmetical set

noun1

A set of natural numbers that can be defined by a formula of first-order Peano arithmetic.

forms

arithmetical sets

This dictionary works without the internet: on your phone · in Chrome