체르멜로-프렝켈 집합론
선택 공리를 추가한 체르멜로-프렝켈 집합론(ZFC)이 무모순적이라면, 일반화 연속체 가설은 ZFC와 독립적이다. 즉, ZFC로 일반화 연속체 가설을 증명할 수도, 반증할 수도 없다.