Solution

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

Assume a complete list were primitive recursive. Closure under diagonal composition and successor makes
primitive recursive. Completeness gives a row with for every , but at this says . This is the diagonal argument.

New to topics? Read the docs here!