axiomatisable

alt-of alternative not-comparable

Alternative spelling of axiomatizable

Japanese Meaning

公理（axiom）によって体系化が可能な、すなわち公理を基に論理体系を構築できることを示す意味。 / ※ 'axiomatisable' は 'axiomatizable' の別綴りであり、意味としては同じ

The theory is axiomatisable, but finding a finite axiom set that captures all models remains challenging.

その理論は公理化可能だが、すべてのモデルを記述する有限の公理集合を見つけることは依然として困難である。

Sense（1）

Alternative spelling of axiomatizable