[FOM] Platonism, and Nik Weaver's take on ZFC

Robert Solovay solovay at gmail.com
Tue Apr 27 03:16:53 EDT 2010


On Sun, Apr 25, 2010 at 11:46 PM, Tom Dunion <tom.dunion at gmail.com> wrote:

>
> In this connection, but going a bit further, I note Nik Weaver’s
> “liar paradox” post of April 14 has a pointer to his website,
> where in item 4 he raises the concern that even if ZFC is
> consistent, there are “good reasons to suspect that some
> number-theoretic assertions provable in ZFC may be false."
>

Can you give a specific cite (e. g. page reference) where he argues
that ZFC is not arithmetically sound?

--Bob Solovay



More information about the FOM mailing list