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

system of formal logic
.טכנול	formelt system; aksiomatisk system