집합론
"초른 (보조)정리"라는 이름은 1939년에 니콜라 부르바키가 《집합론》()에서 사용하였다.