3.1 연속체 가설의 무모순성 Priority 1
3.1.1 집합론의 어떤 유명한 공준 집합이 그 자체로 무모순이면, 연속체 가설도 무모순이다.
3.1.2 괴델은 연속체 가설의 부정도 또한 집합론의 그 공준 집합과 무모순이라고 추측함 - 1963년 스탠포드의 코헨(Paul J. Cohen)에 의해 증명