पॉल कोहेन (Paul Cohen) और कुर्त गोडेल (Kurt Gödel) ने साबित किया कि सतत परिकल्पना (continuum hypothesis) समुच्चय सिद्धांत के मानक स्वतः सिद्ध प्रमाणों (independent) से स्वतंत्र (standard axioms of set theory) है (जिसे इससे प्रमाणित या अप्रमाणित नहीं किया जा सकता है)।