Ésta es una teoría de conjuntos, en un amplio sentido, pero también algo que pertenece al reino de la pura sintaxis.