Значення
-
У математиці, зокрема в теорії моделей та алгебри, — властивість формальної системи або теорії, яка може бути повністю визначена (аксіоматизована) за допомогою скінченної множини аксіом або тотожностей.
-
У логіці — характеристика класу алгебраїчних структур (наприклад, різновидів універсальної алгебри), що мають скінченну базисну множину тотожностей, які їх визначають.
Правопис та відмінювання
Граматичні форми:
н. скінченноозначеність, р. скінченноозначеності, д. скінченноозначеності, з. скінченноозначеність, о. скінченноозначеністю, м. скінченноозначеності, к. скінченноозначеносте