Operación no aceptable en la lógica moderna, pues lo que puede ser válido en cuanto clase, no es aplicable a individuos existentes, por lo que habría que añadir "suponiendo la existencia de individuos pertenecientes a las clases".