[FOM] Consequence of PA inconsistency

[Timothy Y. Chow]

Harvey Friedman wrote:
>By using standard techniques, we can create an appropriately displayed  
>proof in PA(101) of 1 = 0. You can look and see that the formulas to  
>which induction is applied to are comprehensible to the "arithmetic  
>Platonist".

I'm afraid I'm not familiar with this standard technique.  Could you 
please spell it out a little for us?  This sounds interesting.

Tim