Arithmetic absoluteness for a rank-initial model
= Arithmetic absoluteness for a rank-initial model
If $V_\kappa\models\mathrm{ZFC}$, it has the standard natural numbers and standard finite proofs. Every arithmetical sentence, including a <formal consistency statement>, therefore has the same truth value in $V_\kappa$ and the universe.