[
next
] [
prev
] [
prev-tail
] [
tail
] [
up
]
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
?
[
next
] [
prev
] [
prev-tail
] [
front
] [
up
]