체르멜로-프렝켈 집합론
체르멜로-프렝켈 집합론 + 결정 공리는 선택 공리의 부정을 함의하며, 또한 체르멜로-프렝켈 집합론의 일관성을 증명할 수 있다.