El argumento que construyó Cantor es por reducción al absurdo presuponiendo que existe formula_4, puesto que "B" es un subconjunto de "A".