Get to know Axiomatizable better with 3 real example sentences, the meaning.
Axiomatizable in a sentence
Axiomatizable meaning
That can be axiomatized.
Using Axiomatizable
- The main meaning on this page is: That can be axiomatized.
Context around Axiomatizable
- Average sentence length in these examples: 19 words
- Position in the sentence: 0 start, 3 middle, 0 end
- Sentence types: 3 statements, 0 questions, 0 exclamations
Corpus analysis for Axiomatizable
- In this selection, "axiomatizable" usually appears in the middle of the sentence. The average example has 19 words, and this corpus slice is mostly made up of statements.
- Around the word, finitely, recursively and extension stand out and add context to how "axiomatizable" is used.
- Recognizable usage signals include moreover any axiomatizable and complete and not finitely axiomatizable this shows. That gives this page its own corpus information beyond isolated example sentences.
- By corpus frequency, "axiomatizable" sits close to words such as aabc, aacr and aacsb, which helps place it inside the broader word index.
Example types with axiomatizable
The same corpus examples are grouped by length and sentence type, making it easier to see the contexts in which the word appears:
Moreover, any axiomatizable and complete theory is decidable. (8 words)
However one can ask if some recursively axiomatizable extension of it is complete and consistent. (15 words)
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. (34 words)
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. (34 words)
However one can ask if some recursively axiomatizable extension of it is complete and consistent. (15 words)
Moreover, any axiomatizable and complete theory is decidable. (8 words)
Example sentences (3)
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.
However one can ask if some recursively axiomatizable extension of it is complete and consistent.
Moreover, any axiomatizable and complete theory is decidable.