Godel a demontré qu’on ne pouvait pas tout démontrer. Mais cela ne dit pas ce qui n’est pas démontrable. Du coup, il faut chercher ce qui est démontrable et démontrer quand cela ne l’est pas  🙂