[FOM] Seeking sage advice on terminology

[Aatu Koskensilta]

Quoting Colin McLarty <colin.mclarty at case.edu>:

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

   How about "proving FTL in PA" and "proving that FTL is provable in  
PA"? On the face of it, there's nothing particularly unwieldy to this  
approach of just saying what you mean. Contextual cues and all that  
should take care of any awkwardness or (hypothetical) ambiguity in any  
case.

-- 
Aatu Koskensilta (aatu.koskensilta at uta.fi)

"Wovon man nicht sprechen kann, darüber muss man schweigen"
  - Ludwig Wittgenstein, Tractatus Logico-Philosophicus