calcule d’après ce plan qu’il me faudra tel emplacement, tant de milliers de pierres de taille, en un mot telle quantité de matériaux, sera-t-on reçu raisonnablement à me dire que ma conclusion est fausse, parce qu’elle est fondée sur une fausse définition, ou bien à me demander la preuve de ma définition ? Ce serait me dire que je n’ai pas conçu ce que j’ai conçu en effet ; ce serait me demander de prouver que j’ai conçu ce que je sais bien que j’ai conçu ; ce serait se moquer. Ainsi donc, de deux choses l’une : ou la définition explique la chose définie, telle qu’elle est hors de l’entendement, et alors elle doit être vraie et ne diffère d’une proposition ou d’un axiome qu’en tant qu’elle regarde seulement l’essence des choses ou celle de leurs affections, au lieu qu’un axiome a une portée plus grande et s’étend jusqu’aux vérités éternelles ; ou bien elle explique la chose définie telle qu’elle est dans l’entendement, et alors elle diffère d’un axiome et d’une proposition en ce qu’elle n’est assujettie qu’à une seule condition, savoir, d’être absolument intelligible, sans cette autre condition d’être vraie. C’est pourquoi une définition qui ne s’entend pas est une mauvaise définition. Pour rendre la chose plus claire encore, je me servirai de cet exemple même de Borel 2 qui vous embarrasse. Supposons que quelqu’un vienne nous dire : j’appelle figurales deux lignes droites comprenant un espace déterminé. S’il entend par ligne droite ce que tout le monde appelle ligne courbe, sa définition est bonne, et il est aisé de concevoir une figure qui y satisfasse ; mais elle n’est bonne qu’à cette condition, qu’il ne se représente pas ensuite un carré ou telle autre figure semblable. Mais s’il entend la ligne droite dans l’acception commune, la chose est parfaitement inintelligible, et partant la définition mauvaise. Borel, dont vous semblez disposé à admettre le sentiment, confond tout cela. Mais je prends encore un
