Implication
Ce chapitre étudie le signe logique "implique" qui permet l'écriture formelle des théorèmes.
