Предикатные формулы (формулы I-го порядка). Интерпретации. Выразимость в арифметике. Арифметичность графика вычислимой функции.