[FOM] Wittgenstein?

[Torkel Franzen]

T P Uschanov says:

 >In other words, when one wants to say "There are statements that are
 >true that cannot be proven within system S", one would be better off
 >saying "There are statements that are true within system S that
 >cannot be proven within system S".

  Could you explain this further, say in the case where S is PA. What
is meant by "A is true within PA"?

---
Torkel Franzen