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