Questions examen

[didierbuchs]

J'ai un peu changé deux questions concernant les théories équationelle et inductive, vous devez présenter ces théories avec leurs systèmes de preuves et ce qu'elles peuvent permettre de prouver.

Il n'est plus nécessaire de discuter de leur validité et complétude.