Chapitre 2
Notions de base

 2.1 Qu’est ce qu’une obligation de preuve ?
 2.2 Qu’est ce qu’un prédicat bien typé ?
 2.3 Qu’est ce qu’une expression bien définie ?
  2.3.1 Présentation
  2.3.2 Conditions de bonne définition
 2.4 Qu’est ce qu’une règle ?
 2.5 Qu’est ce qu’une théorie ?
 2.6 Qu’est ce qu’une tactique ?
 2.7 Qu’est ce qu’une preuve ?
 2.8 Le prouveur
 2.9 Qu’est ce qu’un bouclage du prouveur ?
 2.10 Qu’est ce qu’une commande ?