is axiomatizable
قابل axiomatizable است
axiomatizable theory
نظریه axiomatizable
not axiomatizable
قابل axiomatizable نیست
axiomatizable system
سیستم axiomatizable
fully axiomatizable
کاملا axiomatizable
axiomatizable logic
منطق axiomatizable
easily axiomatizable
به راحتی axiomatizable
axiomatizable class
کلاس axiomatizable
recursively axiomatizable
قابل axiomatizable بازگشتی
finite axiomatizable
قابل axiomatizable محدود
this theory is not axiomatizable in first-order logic.
این نظریه در منطق مرتبه اول قابل axiomatizable نیست.
the class of all finite structures is not axiomatizable.
کلاس تمام ساختارهای متناهی قابل axiomatizable نیست.
some mathematical theories are easily axiomatizable.
برخی نظریه‌های ریاضی به راحتی قابل axiomatizable هستند.
the system can be recursively axiomatizable if it satisfies certain conditions.
اگر سیستم شرایط خاصی را برآورده کند، می‌تواند به صورت بازگشتی قابل axiomatizable باشد.
not every infinite structure is axiomatizable.
هر ساختار نامتناهی لزوماً قابل axiomatizable نیست.
this logic turns out to be finitely axiomatizable.
این منطق به عنوان یک نظریه با axiomatizable محدود ثابت شده است.
the theory is known to be positively axiomatizable.
این نظریه به عنوان یک نظریه با axiomatizable مثبت شناخته می‌شود.
we prove that the axioms are not easily axiomatizable.
ما ثابت می‌کنیم که اصول به راحتی قابل axiomatizable نیستند.
these structures are axiomatizable by a set of simple rules.
این ساختارها با مجموعه‌ای از قواعد ساده قابل axiomatizable هستند.
the theory becomes axiomatizable when we add new primitives.
نظریه زمانی قابل axiomatizable می‌شود که به آن اصول اولیه جدید اضافه کنیم.
it remains an open question whether this class is axiomatizable.
این سوال باقی می‌ماند که آیا این کلاس قابل axiomatizable است یا خیر.
the property is not generally axiomatizable in the usual sense.
این ویژگی به طور کلی در معنای معمول قابل axiomatizable نیست.
is axiomatizable
قابل axiomatizable است
axiomatizable theory
نظریه axiomatizable
not axiomatizable
قابل axiomatizable نیست
axiomatizable system
سیستم axiomatizable
fully axiomatizable
کاملا axiomatizable
axiomatizable logic
منطق axiomatizable
easily axiomatizable
به راحتی axiomatizable
axiomatizable class
کلاس axiomatizable
recursively axiomatizable
قابل axiomatizable بازگشتی
finite axiomatizable
قابل axiomatizable محدود
this theory is not axiomatizable in first-order logic.
این نظریه در منطق مرتبه اول قابل axiomatizable نیست.
the class of all finite structures is not axiomatizable.
کلاس تمام ساختارهای متناهی قابل axiomatizable نیست.
some mathematical theories are easily axiomatizable.
برخی نظریه‌های ریاضی به راحتی قابل axiomatizable هستند.
the system can be recursively axiomatizable if it satisfies certain conditions.
اگر سیستم شرایط خاصی را برآورده کند، می‌تواند به صورت بازگشتی قابل axiomatizable باشد.
not every infinite structure is axiomatizable.
هر ساختار نامتناهی لزوماً قابل axiomatizable نیست.
this logic turns out to be finitely axiomatizable.
این منطق به عنوان یک نظریه با axiomatizable محدود ثابت شده است.
the theory is known to be positively axiomatizable.
این نظریه به عنوان یک نظریه با axiomatizable مثبت شناخته می‌شود.
we prove that the axioms are not easily axiomatizable.
ما ثابت می‌کنیم که اصول به راحتی قابل axiomatizable نیستند.
these structures are axiomatizable by a set of simple rules.
این ساختارها با مجموعه‌ای از قواعد ساده قابل axiomatizable هستند.
the theory becomes axiomatizable when we add new primitives.
نظریه زمانی قابل axiomatizable می‌شود که به آن اصول اولیه جدید اضافه کنیم.
it remains an open question whether this class is axiomatizable.
این سوال باقی می‌ماند که آیا این کلاس قابل axiomatizable است یا خیر.
the property is not generally axiomatizable in the usual sense.
این ویژگی به طور کلی در معنای معمول قابل axiomatizable نیست.
Explore frequently searched vocabulary
Want to learn vocabulary more efficiently? Download the DictoGo app and enjoy more vocabulary memorization and review features!
Download DictoGo Now