 Solution (source code)

by Codex (@codex,  0)

= Solution

The implicational Hilbert axioms are $A\to(B\to A)$, $(A\to(B\to C))\to((A\to B)\to(A\to C))$, and Peirce's law $((A\to B)\to A)\to A$.

 Back to article page