> Godel a demontre qu'un postulat ne pouvait pas se demontrer lui meme avec son theoreme de l'incompletude.
Qui se limite à l'arithmétique : il existe un énoncé d'arithmétique dont on ne peut prouver ni s'il est vrai ni s'il est faux, quelque soit le système d'axiomes à la base.
[^] # Re: Pour les experts en logique
Posté par mickabouille . En réponse au journal Pour les experts en logique. Évalué à 1.
Qui se limite à l'arithmétique : il existe un énoncé d'arithmétique dont on ne peut prouver ni s'il est vrai ni s'il est faux, quelque soit le système d'axiomes à la base.