Comment by d4ng

There exist subsets of the natural numbers which are infinite, but which are not finitely definable in first-order arithmetic.