기술적 집합론 - 다른 언어