El problema de identificación de Benacerraf, también conocido como el problema de las reducciones múltiples o problema de la reducción de los números a conjuntos, es un problema dentro de la filosofía de la matemática conocida como platonismo matemático.[1]​ Como existen varias reducciones posibles de los números a conjuntos (e incluso a otros tipos de entidades), no resulta claro cuál de todas las reducciones posibles es la correcta, o si todas lo son, o si ninguna lo es.
El problema es un caso del problema más general de la inescrutabilidad de la referencia, y también de la subdeterminación de la teoría por la evidencia. Sin embargo, se distingue de los ejemplos clásicos de inescrutabilidad de la referencia por ser un problema puramente formal, de modo que no hay posibilidad de solución por medio de la percepción.