sans démonstration et cela sera alors un axiome ; de sorte que si nous voulions chercher la définition sous le postulat, nous retrouverions encore l’axiome sous la définition.
Le plus souvent, pour démontrer qu’une définition n’implique pas contradiction, on procède par l’exemple, on cherche à former un exemple d’un objet satisfaisant à la définition. Prenons le cas d’une définition par postulats ; nous voulons définir une notion A, et nous disons que, par définition, un A, c’est tout objet pour lequel certains postulats sont vrais. Si nous pouvons démontrer directement que tous ces postulats sont vrais d’un certain objet B, la définition sera justifiée ; l’objet B sera un exemple d’un A. Nous serons certains que les postulats ne sont pas contradictoires, puisqu’il y a des cas où ils sont vrais tous à la fois.
Mais une pareille démonstration directe par l’exemple n’est pas toujours possible.
Pour établir que les postulats n’impliquent pas contradiction, il faut alors envisager toutes les propositions que l’on peut dédire de ces postulats considérés comme prémisses et montrer que, parmi ces propositions, il n’y en a pas deux dont l’une soit la contradictoire de l’autre. Si ces propositions sont en nombre fini, une vérification directe est possible. Ce cas est peu fréquent et d’ailleurs peu intéressant.
Si ces propositions sont en nombre infini, on ne peut plus faire cette vérification directe ; il faut
