S. f. (Métaphysique) égalité et similitude de deux choses. Par exemple, deux triangles semblables et égaux sont congruents. Supposez pareillement deux corps humains où se trouvent les mêmes qualités et les mêmes dimensions, un tout correspondra exactement à l'autre, et chaque partie à la partie semblable. La congruence consiste donc dans l'identité des quantités et des qualités. Prenons les deux triangles congruents ; chaque ligne de la circonférence de l'un est égale à la pareille de l'autre, les quantités des angles sont les mêmes, et la grandeur d'une aire couvre exactement celle de l'autre. Voilà pour les quantités. Il en est de même pour les qualités, savoir de l'espèce, des signes, de la proportion des angles, etc. de-là résulte la possibilité de leur substitution. Vous démontriez quelque chose sur l'un, mettez l'autre à sa place, votre démonstration procédera toujours de même. C'est ce qu'on fait souvent en Géométrie, où la congruence et l'égalité des bornes des figures sert dans plusieurs théorèmes. On appelle borne ou limite, ce au-delà de quoi on ne conçoit plus rien qui appartienne au sujet. Par exemple, on ne suppose dans la ligne qu'une étendue en longueur. Ses bornes sont donc ses deux derniers points ; l'un à une extrémité, l'autre à l'autre, au-delà desquels on n'en saurait assigner d'autres qui appartiennent à la ligne. En largeur, elle n'a point de bornes concevables, puisqu'on exclut de la ligne l'idée de cette dimension. Voyez COINCIDENCE.

Cette notion de la congruence s'accorde avec l'usage ordinaire et avec la signification reçue par les Mathématiciens. Euclide se bornant à la notion confuse de la congruence, s'est contenté de mettre entre les axiomes cette proposition : Quae sibi mutuo congruunt, ea inter se aequalia sunt. Or il parait par l'application de cet axiome, qu'une grandeur appliquée à l'autre lui est congruente, lorsque leurs bornes sont les mêmes : ainsi, suivant la pensée d'Euclide, une ligne droite est congrue à une autre, si étant posée sur elle, les points de ses extrémités, et tous ceux qui sont placés entre deux, couvrent exactement les points qui y répondent dans la ligne posée dessous. Les Géomètres donc qui définissent la congruence par la coincidence des bornes, suivent l'idée d'Euclide. Quoique cet ancien ne se serve de la congruence que pour prouver l'égalité des grandeurs, il suppose pourtant dans sa notion la ressemblance jointe à l'égalité, car il ne démontre l'égalité par la congruence que dans les grandeurs semblables, et il est même impossible de la démontrer dans d'autres grandeurs. Mais il s'en est tenu à la notion de la congruence, qui répondait à son axiome susdit, sans l'approfondir davantage. C'est ce qui arrive pour l'ordinaire dans nos idées confuses. Nous ne tournons notre attention que sur ce dont nous avons besoin ; et négligeant le reste, il semble qu'il n'existe point. Mais des yeux philosophiques qui se proposent d'épuiser la connaissance des sujets, cherchent dans une notion non-seulement ce qu'elle a d'utile pour un certain but, mais en général tout ce qui lui convient et la caractérise. C'est-là le moyen d'arriver aux notions distinctes et complete s. Article de M. FORMEY.