Every computable function is arithmetically definable.
As funcións computábeis son definíbeis aritméticamente.