345 B
345 B
#s/maths/logique
Une démonstration formelle est l'application successive de plusieurs règle d'inférence à partir d'un ensemble axiome ou de théorème déjà démontrés.
Une Démonstration produit systématiquement de nouveaux théorèmes qui sont la conséquence formelle