المصطلح "finitely axiomatizable quasivariety" هو عبارة عن اسم، ويتعلق بعلم الرياضيات، وخاصةً في نظرية المجموعات ونظرية الرتبة.
/ˈfaɪnɪtli ˌæksɪməˈtaɪzəbl ˈkwɔːzəˌvaɪəti/
finitely axiomatizable quasivariety تشير إلى فئة من الهياكل الرياضية التي يمكن وصفها بواسطة عدد محدود من البديهيات. يُستخدم هذا المصطلح بشكل شائع في مجالات مثل نظرية النظم والمتجهات algebraic. المصطلح غالباً ما يظهر في الأبحاث والمقالات العلمية في الرياضيات، وقد يُستخدم بشكل أكبر في السياقات المكتوبة مقارنة بالكلام الشفهي نظرًا لتخصصه.
The class of groups is finitely axiomatizable quasivariety.
(فئة المجموعات هي مجموعة غير محدودة بشكل نهائي من المحاور.)
If a quasivariety is finitely axiomatizable, it has a corresponding set of axioms.
(إذا كانت الكوازيفاريتي قابلة للوصف النهائي، فإن لها مجموعة من البديهيات المقابلة.)
على الرغم من أن "finitely axiomatizable quasivariety" ليس مصطلحًا يتم استخدامه بشكل شائع في التعبيرات الاصطلاحية، إلا أنه يمكن إدماجه في بعض السياقات:
In the context of universal algebra, a finitely axiomatizable quasivariety serves as a foundation for many theories.
(في سياق الجبر الشامل، تعتبر الكوازيفاريتي القابلة للوصف النهائي أساسًا للعديد من النظريات.)
Many mathematicians are interested in the properties of finitely axiomatizable quasivarieties due to their practical applications.
(يهتم العديد من علماء الرياضيات بخصائص الكوازيفاريتي القابلة للوصف النهائي نظرًا لتطبيقاتها العملية.)
A finitely axiomatizable quasivariety can be used to formulate theories in logic.
(يمكن استخدام الكوازيفاريتي القابلة للوصف النهائي لصياغة النظريات في المنطق.)
المصطلح يتكون من عدة كلمات: - "finitely" (نهائيًا) - "axiomatizable" (قابلة للوصف بالبديهيات) - "quasivariety" (كوازيفاريتي) وهي كلمة تعني مجموعة من الأشياء التي تتشارك في خصائص معينة ولكن ليست مجموعة واحدة فقط.