El argumento de sustracción para universales trascendentes