 Solution

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

Codex  0 Created 2026-09-24 Updated 2026-09-25

A (0, m) = m

and

A (n + 1, m) = S (A (n, m))

. This is primitive recursion from a projection and successor, so

A (n, m) = n + m

 New to topics? Read the docs here!