El teorema de Cantor, de Georg Cantor, es un resultado formalizable en la teoría de conjuntos de Zermelo-Fränkel, que afirma lo siguiente: