is axiomatizable
Thai_translation
axiomatizable theory
Thai_translation
not axiomatizable
Thai_translation
axiomatizable system
Thai_translation
fully axiomatizable
Thai_translation
axiomatizable logic
Thai_translation
easily axiomatizable
Thai_translation
axiomatizable class
Thai_translation
recursively axiomatizable
Thai_translation
finite axiomatizable
Thai_translation
this theory is not axiomatizable in first-order logic.
ทฤษฎีนี้ไม่สามารถกำหนดเป็นระบบเชิงตรรกะอันดับหนึ่งได้
the class of all finite structures is not axiomatizable.
คลาสของโครงสร้างทั้งหมดที่มีจำนวนจำกัดไม่สามารถกำหนดเป็นระบบได้
some mathematical theories are easily axiomatizable.
บางทฤษฎีทางคณิตศาสตร์สามารถกำหนดเป็นระบบได้ง่าย
the system can be recursively axiomatizable if it satisfies certain conditions.
ระบบสามารถกำหนดเป็นระบบเชิงเวียนเกิดได้ หากมันตรงตามเงื่อนไขบางอย่าง
not every infinite structure is axiomatizable.
ไม่ใช่ทุกโครงสร้างที่ไม่มีที่สิ้นสุดที่สามารถกำหนดเป็นระบบได้
this logic turns out to be finitely axiomatizable.
ตรรกะนี้ปรากฏว่าสามารถกำหนดเป็นระบบได้ในจำนวนจำกัด
the theory is known to be positively axiomatizable.
ทฤษฎีนี้เป็นที่ทราบกันว่าสามารถกำหนดเป็นระบบเชิงบวกได้
we prove that the axioms are not easily axiomatizable.
เราพิสูจน์ว่าหลักการไม่สามารถกำหนดเป็นระบบได้ง่าย
these structures are axiomatizable by a set of simple rules.
โครงสร้างเหล่านี้สามารถกำหนดเป็นระบบได้ด้วยชุดกฎที่ง่าย
the theory becomes axiomatizable when we add new primitives.
ทฤษฎีจะสามารถกำหนดเป็นระบบได้เมื่อเราเพิ่มพื้นฐานใหม่
it remains an open question whether this class is axiomatizable.
ยังคงเป็นคำถามที่เปิดอยู่ว่าคลาสนี้สามารถกำหนดเป็นระบบได้หรือไม่
the property is not generally axiomatizable in the usual sense.
คุณสมบัตินี้ไม่สามารถกำหนดเป็นระบบได้ในความหมายทั่วไปโดยทั่วไป
is axiomatizable
Thai_translation
axiomatizable theory
Thai_translation
not axiomatizable
Thai_translation
axiomatizable system
Thai_translation
fully axiomatizable
Thai_translation
axiomatizable logic
Thai_translation
easily axiomatizable
Thai_translation
axiomatizable class
Thai_translation
recursively axiomatizable
Thai_translation
finite axiomatizable
Thai_translation
this theory is not axiomatizable in first-order logic.
ทฤษฎีนี้ไม่สามารถกำหนดเป็นระบบเชิงตรรกะอันดับหนึ่งได้
the class of all finite structures is not axiomatizable.
คลาสของโครงสร้างทั้งหมดที่มีจำนวนจำกัดไม่สามารถกำหนดเป็นระบบได้
some mathematical theories are easily axiomatizable.
บางทฤษฎีทางคณิตศาสตร์สามารถกำหนดเป็นระบบได้ง่าย
the system can be recursively axiomatizable if it satisfies certain conditions.
ระบบสามารถกำหนดเป็นระบบเชิงเวียนเกิดได้ หากมันตรงตามเงื่อนไขบางอย่าง
not every infinite structure is axiomatizable.
ไม่ใช่ทุกโครงสร้างที่ไม่มีที่สิ้นสุดที่สามารถกำหนดเป็นระบบได้
this logic turns out to be finitely axiomatizable.
ตรรกะนี้ปรากฏว่าสามารถกำหนดเป็นระบบได้ในจำนวนจำกัด
the theory is known to be positively axiomatizable.
ทฤษฎีนี้เป็นที่ทราบกันว่าสามารถกำหนดเป็นระบบเชิงบวกได้
we prove that the axioms are not easily axiomatizable.
เราพิสูจน์ว่าหลักการไม่สามารถกำหนดเป็นระบบได้ง่าย
these structures are axiomatizable by a set of simple rules.
โครงสร้างเหล่านี้สามารถกำหนดเป็นระบบได้ด้วยชุดกฎที่ง่าย
the theory becomes axiomatizable when we add new primitives.
ทฤษฎีจะสามารถกำหนดเป็นระบบได้เมื่อเราเพิ่มพื้นฐานใหม่
it remains an open question whether this class is axiomatizable.
ยังคงเป็นคำถามที่เปิดอยู่ว่าคลาสนี้สามารถกำหนดเป็นระบบได้หรือไม่
the property is not generally axiomatizable in the usual sense.
คุณสมบัตินี้ไม่สามารถกำหนดเป็นระบบได้ในความหมายทั่วไปโดยทั่วไป
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