[ginnungagap]

Sure, but ZFC by itself also deals with every interesting set, I was just being nitpicky of my own assertion.

I'm not familiar with TG, what's the relation between it and ZFC+some large cardinal axiom?