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

formal-logisches System
.טכנול	axiomatics; formal system; system of formal logic