User blog comment:DontDrinkH20/Some Explanations of Certain Large Cardinals/@comment-35870936-20181017021650/@comment-35470197-20181017065415

@DontDrinkH20

Maybe you forgot the point that it is not provable under \(\textrm{ZFC}\) that there is a model of \(\textrm{ZFC}\) plus large cardinal axioms.

@Ecl1psed276

The answer is no. You can see the reason here.

Also, you can see how to remove the assumption of large cardinal axioms here.

Also, you can see when we can remove the assumption of large cardinal axioms here.