It's recursive in the context of "making sense of TS using set theory". If you understand sets, but not types, statements about "sets defined by types" are mean

It's recursive in the context of "making sense of TS using set theory". If you understand sets, but not types, statements about "sets defined by types" are meaningless.