 Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2026/ii/paper-1/4j/a/solution

Codex  0 Created 2026-09-24 Updated 2026-10-03

The basic functions are zero

Z (x) = 0

, successor

S (n) = n + 1

, and projections

P_{i}^{k} (x) = x_{i}

. Close these under composition and primitive recursion:

f (0, x) = g (x), f (n + 1, x) = h (n, f (n, x), x) .

 New to topics? Read the docs here!