Me gustaría saber si estamos seguros de que los 6 problemas restantes del Premio del Milenio, como la hipótesis de Riemann y el problema P vs NP, tienen una demostración en teoría de conjuntos. Por lo que sabemos, podrían entrar en la categoría de indecidibles, ¿no?
Gracias por su ayuda.
