Cohen's 1966 work on Set Theory and this introduced the method of forcing to show that no contradiction is introduced by including its negation with the ZF axioms and the axiom of choice, thus showing its truth to be undecidable by normal Zermelo-Frankel set theory.
Hausdorff's generalization of this statement relates it directly to the inaccessible cardinals axiom, which was used by Solovay to solve the related Lebesgue [luh-BEG] measurability problem. Freiling's axiom of symmetry or Woodin's omega-logical axiom imply its inconsistency with the common framework in which it arises. Cohen's 1966 work on Set Theory and this introduced the method of forcing to show that no contradiction is introduced by including its negation with the ZF axioms and the axiom of choice, thus showing its truth to be undecidable by normal Zermelo-Frankel set theory. FTP, name this subtle axiom of set theory that states that the power of the reals is aleph-one.
Hausdorff's generalization of this statement relates it directly to the inaccessible cardinals axiom, which was used by Solovay to solve the related Lebesgue [luh-BEG] measurability problem.
continuum hypothesis