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 bet

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?