It is demonstrated that we can represent Euler's φ-function by means of a Δ0-formula in such a way that the theory IΔ 0 proves the recursion equations that are characteristic for this function.