Пусть имеются две вычислимые арифметические функции f1\(x\) и f2\(x\).
Построим функцию g\(x\) = |f1\(x\) - f2\(x\)|. Данная функция является арифметической т.к.:

• не определена на всем множестве натуральных чисел и является вычислимой
• определена на части множества натуральных чисел и является вычислима
• определена на всем множестве натуральных чисел и является вычислимой
• определена на всем множестве натуральных чисел и является не вычислимой