una colección de un todo de objetos definidos y distintos de nuestra intuición o de nuestro pensamiento. Esos objetos se llaman los elementos del conjunto

Para toda propiedad P, existe un conjunto x, cuyos miembros son exactamente los conjuntos que tienen dicha propiedad P

hace notar Ferreirós, a partir de este teorema – multitudes no coleccionables – Cantor asumió que la teoría de conjuntos no podía sustentarse a partir de la lógica, sino que sus axiomas fundacionales deberían partir de una consideración ontológica previa

Me imagino un conjunto como un abismo