Geriadur ar skiantoù hag an teknikoù Dictionnaire des sciences et des techniques

mathématiques ◊ caractère de ce qui peut être déduit, soustrait

logique ◊ propriété d’une proposition qui peut être obtenue par déduction