Since we can't even directly talk about a second-order theory being true of $V$ within $V$, I think it's usefully demystifying to rephrase the question in a "set-ish" way as follows: > Is it consistent with $\mathsf{ZFC}$ that there is some inaccessible cardinal $\kappa$ such that for every second-order theory $T$ in the language of set theory, if $V_\kappa\models T$ then $V_\alpha\models T$ for some $\alpha<\kappa$? Note that whether or not $V_\gamma\models S$ for $\gamma\le\kappa$ and $S$ a second-order set theory is detected by the *first-order* diagram of $V_{\kappa+1}$, so the above question does make sense. As Elliot Glazer observes, there is in this case a simple counting argument we can employ: if there are more than continuum-many inaccessibles, then some pair of inaccessibles $\alpha<\kappa$ have $V_\alpha\equiv_{\mathsf{SOL}}V_\kappa$.