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

system of formal logic
.טכנול	sistema formal; axiomática m; sistema de lógica formal