Does TG prove that ZFC2 has a model?

Solution 1:

Gathering two bits from the Wikipedia entries:

It is a non-conservative extension of Zermelo–Fraenkel set theory (ZFC) and is distinguished from other axiomatic set theories by the inclusion of Tarski's axiom which states that for each set there is a Grothendieck universe it belongs to (see below).

Tarski's axiom implies the existence of inaccessible cardinals, providing a richer ontology than that of conventional set theories such as ZFC. (Wikipedia, Tarski–Grothendieck set theory)

And in turn

Secondly, under ZFC it can be shown that $\kappa$ is inaccessible if and only if $(V_\kappa,\in)$ is a model of second order ZFC. (Wikipedia, Inaccessible cardinal)

So the answer is indeed positive.