is axiomatizable
Traditional Chinese_translation
axiomatizable theory
Traditional Chinese_translation
not axiomatizable
Traditional Chinese_translation
axiomatizable system
Traditional Chinese_translation
fully axiomatizable
Traditional Chinese_translation
axiomatizable logic
Traditional Chinese_translation
easily axiomatizable
Traditional Chinese_translation
axiomatizable class
Traditional Chinese_translation
recursively axiomatizable
Traditional Chinese_translation
finite axiomatizable
Traditional Chinese_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
Traditional Chinese_translation
axiomatizable theory
Traditional Chinese_translation
not axiomatizable
Traditional Chinese_translation
axiomatizable system
Traditional Chinese_translation
fully axiomatizable
Traditional Chinese_translation
axiomatizable logic
Traditional Chinese_translation
easily axiomatizable
Traditional Chinese_translation
axiomatizable class
Traditional Chinese_translation
recursively axiomatizable
Traditional Chinese_translation
finite axiomatizable
Traditional Chinese_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