La segunda cuantización es un formalismo matemático de cuantización empleado para estudiar tanto sistemas de muchas partículas idénticas con interacciones arbitrarias como la teoría cuántica de campos. El teorema espín-estadística dentro lleva a establecer relaciones de conmutación que clasifican a las partículas en bosones y fermiones.