Por otro lado, el axioma de reducibilidad, que resuelve algunas dificultades técnicas del sistema, fue criticado por ser demasiado ad hoc como para estar filosóficamente justificado.