I would like to know what can be said about the following CONJECTURE. Any true arithmetical P01 sentence can be proved from ZFC+"suitable large cardinal". Thank you, Jan P.