Prove that if $\kappa$ is an inaccessible cardinal, then $V_{\kappa}$ satisfies all the axioms of ZFC.
How is this done for the axiom of choice and for regularity?
Prove that if $\kappa$ is an inaccessible cardinal, then $V_{\kappa}$ satisfies all the axioms of ZFC.
How is this done for the axiom of choice and for regularity?