 Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2026/ii/paper-2/16j/c/solution

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

The implicational Hilbert axioms are

A \to (B \to A)

(A \to (B \to C)) \to ((A \to B) \to (A \to C))

((A \to B) \to A) \to A

 New to topics? Read the docs here!