En parlant de propositions indécidables :
http://fr.wikipedia.org/wiki/Hypothèse_du_continu
"Commencée il y a une trentaine d'années, la recherche d'axiomes « naturels » à ajouter à la théorie de Zermelo-Fraenkel (axiome de détermination, axiomes de grands cardinaux etc.) va peut-être permettre, grâce aux travaux de W. Hugh Woodin, de résoudre prochainement l'hypothèse du continu... par la négative, ce que soupçonnait déjà Gödel."
C'est trop la classe de voir qu'aujourd'hui on travaille toujours sur d'anciennes hypothèses déjà résolues ! Le monde des mathématiques est encore très dynamique en fait !