El teorema de Cantor ye un resultáu formalizable na teoría de conxuntos de Zermelo-Fränkel, qu'afirma lo siguiente:
El conxuntu potencia de cualquier conxuntu A tien una cardinalidad puramente mayor que la cardinalidad del propiu A.
Developed by Nelliwinne