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

logique ◊ fait d'énoncer avec certitude

• un asuradenn vatematikel pe lojikel hag a c'hell bezañ prouet eo un teorem
  un théorème est une affirmation, mathématique ou logique, qui peut être démontrée