[FOM] Platonism and Formalism

[Robin Adams]

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