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

logique ◊ fait d'énoncer avec certitude

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