¿Podría haber una declaración indeciso $S$ en ${\sf ZFC}$ de la cual uno nunca será capaz de probar su indeciso por razones principales (es decir, nunca sabremos que $S$ es indeciso)?
Si esta es una pregunta tonta, me disculpo; sentirse libre de votar para cerrar. Lo quitaré rápido.
