AXIOMES MATHÉMATIQUES

culière de la déduction, la démonstrationj qu'ARiSTOTE définit le syllogisme du nécessaire (37, § A).

Remarque : il ne faut pas confondre la démonstration de la vérité avec sa découverte. Découvrir une vérité, c'est trouver une vérité qu'on ignore ; démontrer une vérité, c'est prouver à un autre qui l'ignore une vérité qu'on connaît. La vérité à trouver s'appelle problème : c'est une inconnue à déterminer. Dans ce cas on se sert ordinairement du procédé analytique ou inductif. La vérité à prouver se propose comme un théorème : c'est une vérité qu'il faut rendre évidente. Alors on emploie de préférence le procédé synthétique ou déductif.