in other applications, this way of thinking has been used in topos theory, to clarify the role of set theory in foundational matters. assuming that we don’t have a commitment to one 'set theory' (all toposes are in some sense equally set theories for some intuitionistic logic) it is possible to state everything relative to some given set theory that acts as a base topos.