Axiom scheme

Related Terms:

schematic variable term formula subformula axiomatic system

Noun

Definition: A formula in the language of an axiomatic system, in which one or more schematic variables appear, which stand for any term or subformula of the system, which may or may not be required to satisfy certain conditions.

We hope you enjoyed looking up some related words and definitions. We use various open machine learning and human sources to provide a more coherent reference that pure AI can provide. Although there are similar sites out there, they are filled with nonsense and gibberish due to their pure machine learning approach. Our dataset is in part derived from ConceptNet and WordNet with our own sprinkle of magic. We're always working on improving the data and adding more sources. Thanks for checking us out!