[FOM] Seeking sage advice on terminology

MartDowd at aol.com MartDowd at aol.com
Tue Jul 30 10:54:23 EDT 2013

\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>

More information about the FOM mailing list