체르멜로-프렝켈 집합론
는 연속체 가설이라고 불리며, 역시 선택 공리를 추가한 체르멜로-프렝켈 집합론 및 큰 기수 공리들에 대하여 독립적이다.