Arithmetical set
= Arithmetical set
{wiki=Arithmetical_set}
An **arithmetical set** is a concept from mathematical logic, particularly in the area of recursion theory and the study of definability in arithmetic. It refers to a subset of natural numbers that can be defined or described by a certain kind of logical formula specific to arithmetic.