Perhaps, TARSKI–GROTHENDIECK_SET_THEORY is a misspelling. Click here to search for this word in our misspelling dictionary.