Zermelo–Fraenkel set theory
이 역설의 결과를 증명할 때에는 선택 공리가 반드시 필요하다. 선택공리가 없을 경우(체르멜로-프렝켈 집합론)나, 선택 공리 대신 의존적 선택 공리를 사용할 경우 정리가 성립하지 않는다.