Este trabajo discute el argumento presentado por Carmichael (2010) para justificar la existencia de universales trascendentes, esto es, universales que no requieren instanciaciones para existir. Se sostiene en este trabajo que una proposición puede describir correctamente un mundo posible sin existir como una parte de ese mundo, esto es, que una proposición puede ser verdadera de un mundo posible, sin ser verdadera en un mundo posible. Se sostiene, además, que las mismas premisas usadas por Carmichael permiten justificar el necesitismo.