[FOM] Seeking sage advice on terminology

[Colin McLarty]

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.

I don't mean the conceptual distinction is difficult.  I mean I'd like a
cleaner terminology for it so i don't keep using "proof" to mean two
different things.  Maybe the literature I have been reading does have a
solution but if so I have not absorbed it.

Do people here have conventions they use?

best, Colin
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20130728/3ebc7c8c/attachment.html>