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

ensemble de formules
.טכנול	axiomatics; formal system; system of formal logic