Harvey Friedman wrote: > The only natural way that any sentence phi of SOL can be construed as a > proposition about the world <etc.>. Sorry, which `world'? An (imaginary) universe of ZFC? There is a danger that using such terms can make again the discussion on SOL very unclear, or some recidive will appear later. Vladimir Sazonov