axiomatizable

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.