אנגלית ⇄ איטלקית גרמנית דנית הולנדית יוונית ספרדית פורטוגלית פינית צרפתית שוודית +

system of formal logic
.טכנול	théorie f; axiomatique; ensemble de formules; système formel