FOM: true but not provable

Torkel Franzen torkel at sm.luth.se
Tue Oct 31 05:20:38 EST 2000


  A clarification: I wrote

   >When we say that Con(T) is true but not provable in T, provided T is
   >consistent, we are not saying or assuming anything about whether or
   >not Con(T) is in any sense provable.

   Here for "in any sense", read "in any other sense".

   >Similarly, when we note that there are infinitely many true
   >arithmetical sentences not provable in ZFC, we're not saying anything
   >about whether these sentences are in any sense provable.

   Here for "in any sense", read "in any other sense".

 ---
  Torkel Franzen




More information about the FOM mailing list