[FOM] Seeking sage advice on terminology

[MartDowd at aol.com]

Colin,
 
\square FLT can be used for the latter.
 
-- Martin Dowd
 
 
In a message dated 7/29/2013 10:55:53 A.M. Pacific Daylight Time,  
colin.mclarty at case.edu writes:

When I write about proofs of FLT I always have trouble finding a graceful  
terminology to distinguish proving FLT in PA versus proving in proof theory  
that PA |- FLT.  



-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20130730/52126c84/attachment.html>