Discussion:Propositions et opération élémentaire/Définition
J’ai ajouté un paragraphe pour introduire les idées de théorie axiomatique et de preuve qui sont nécessaire pour parvenir à la décidabilité (ou non) d'une proposition. Bien entendu il faut rester le plus terre à terre que possible puisque ce cours est de niveau 6. Cependant puisqu’un exemple de proposition indécidable est donné, il m'a semblé pertinent de s'attacher aussi au mécanisme de la décidabilité : partir d'un groupe d'axiomes, utiliser la logique pour parvenir à une preuve du caractère faux ou non d'une proposition.