Axioma del conjunto potencia

El axioma del conjunto potencia afirma que dado un conjunto, existe otro cuyos elementos son exactamente los subconjuntos del inicial:

De este modo se puede designar con propiedad el conjunto potencia de un conjunto dado A:

El axioma del conjunto potencia (CP) es independiente del resto de axiomas de la teoría de Zermelo-Fraenkel ZFC. Los conjuntos hereditariamente finitos —conjuntos finitos formados por conjuntos finitos, formados a su vez también por conjuntos finitos, etc.— forman un modelo de todo ZFC salvo el axioma del infinito, por lo que CP no es refutable. Por otro lado, los conjuntos hereditariamente numerables —conjuntos numerables formados por conjuntos numerables, formados por conjuntos numerables, etc.— son un modelo de ZFC con la salvedad de que CP es falso, por lo que este no puede demostrarse del resto de axiomas de ZFC.

• Cohen, Paul J. (1966). Set theory and the continuum hypothesis (en inglés). W.A. Benjamin. OCLC 291078.  En II.2 discute la independencia del axioma.