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

logique ◊ vérifier une assertion P(x) pour tous les x dans un ensemble E en partitionnant E et en montrant l’assertion pour les x dans chacune des partitions de E