算术集

可以用一阶数论公式定义的自然数n元组集。由于配对函数的原始递归性，AN是算术集当且仅当J［A］(A在配对函数J下的象集)是算术集，因而一般只讨论自然数的算术集，而将n元组集A用J［A］代替。(参见算术谓词、算术分层。)