Riqueza formal y síntesis funcional