[FOM] Arithmetical soundness of ZFC

Monroe Eskew meskew at math.uci.edu
Sun May 24 22:02:51 EDT 2009

I don't think that's any easier.  You'd still need a way decide
unsoundness.  ZFC cannot prove that ZFC+LC is unsound without proving
that it's inconsistent.  Thus we'd need some different foundational
theory, inconsistent with ZFC, which we have reason to believe is
arithmetically sound.

On Sun, May 24, 2009 at 11:37 AM,  <pax0 at seznam.cz> wrote:
> Can we also consider the easier problem of Arithmetical soundness of "ZFC+some large cardinal" :
> which large cardinal's existence gives Arithmetically unsound theory?
> JP
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom

More information about the FOM mailing list