Bonsoir,

Prenons la conjecture de Goldbach, supposons qu'elle soit indécidable et fausse et procédons par l'absurde.

Si la conjecture est fausse donc elle admet un contre-exemple, donc avec ce contre exemple on pourrait démontrer que la conjecture est fausse et donc décidable. Or on a supposé qu'elle était indécidable, on a bien une contradiction...

Ou est l'erreur dans mon raisonnement ?

Je commence la logique, donc je dis peut-être n'importe quoi, mais ça me titille...