[FOM] Platonism and Formalism
Robin.Adams at stud.man.ac.uk
Fri Sep 12 14:47:06 EDT 2003
On Thu, 11 Sep 2003, Robert M. Solovay wrote:
> I admit that I never asked him if he believed the principles in question
> were consistent. Of course, they certainly aren't **true** by well-known
> results of Kunen.
Could you give a reference, please, for those of us to whom the results
aren't so well known? I'd be very interested to see how an axiom can be
shown to be "certainly not true" without being proven inconsitent.
More information about the FOM