En los sistemas deductivos donde el conjunto de reglas de producción, y el conjunto de axiomas sea "recursivamente enumerable", una función(parcial) aritmética es 'calculable' si y solo si es una función (parcial) 'recursiva'.