[FOM] Platonism and Formalism

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

Robin Adams

More information about the FOM mailing list