Ah on sait pas que c'est prouvable, c'est peut être indémontrable. Mais bon ça paraît peu probable.

>> l'idée c'est que tout est prouvable même si on a pas encore trouvé comment, je suppose?

Nan depuis Gödel on sait qu'il existe des propositions vraies et indémontrables.