[FOM] Arithmetical soundness of ZFC

[Monroe Eskew]

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.
Monroe

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
>
>