El concepto de individualidad en mecánica cuántica presenta radicales diferencias respecto de la individualidad en mecánica clásica. Esto ha llevado a algunos autores a concluir que la mecánica cuántica no posee su propio lenguaje. Una forma de incorporar a un lenguaje de primer orden la noción de indistinguibilidad cuántica es usando la teoría de cuasiconjuntos (Q), una variante de la teoría de conjuntos Zermelo-Frenkel en la cual la identidad no está definida para todos los objetos de la teoría. Sin embargo, Q no captura un aspecto importante de la teoría cuántica: la posibilidad de que existan sistemas cuyo cardinal no esté bien definido. En este trabajo se discuten distintas estrategias para desarrollar construcciones formales que capturen la noción de número de partículas indefinido.