axiomatizable

Adjective

Meaning

axiomatizable (not comparable)

That can be axiomatized.

Source: en.wiktionary.org

Examples

Because at least one such infinite schema is required (ZFC is not finitely axiomatizable), this shows that the axiom schema of replacement can stand as the only infinite axiom schema in ZFC if desired. Source: Internet

However one can ask if some recursively axiomatizable extension of it is complete and consistent. Source: Internet

Moreover, any axiomatizable and complete theory is decidable. Source: Internet

Close letter words and terms

axiomatisation axiomatise axiomatizability axiomatization axiomatize axiomesial