Describe how to apply the Tableau-to-Hilbert transformation to prove 
Pierce's law) in the Hilbert system 
using axiom 
as well as 
, and also this axiom 
. Carry out the step of proving 
Pierce's law and the step of showing a Hilbert proof of Pierce's law from the assumption of 
.
This transformation does not prove Pierce's law from the three axioms of assignment 2 (called 
), but it will give you insight into the role of the third axiom if you recall that we can define 
as 
.
Note, for your information, it is possible to convert your 
proof into a 
proof, so this will show you what is involved in finding a 
proof in assignment 2. 
are the axioms in assignment 2.
