axiom schema

A a

Transcription

- US Pronunciation
- US IPA

- US Pronunciation
- US IPA

Definitions of axiom schema words

noun Technical meaning of axiom schema (logic) A formula in the language of an axiomatic system, containing one or more. These metasyntactic variables (or "schematic variables") that stand for terms or subformulae. An example is the Axiom of Comprehension. 1
noun axiom schema (logic) 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. 0

See all 2 definitions of axiom schema

Information block about the term

Parts of speech for Axiom schema

noun

adjective

verb

adverb

pronoun

preposition

conjunction

determiner

exclamation

Full grammatical hierarchy of Axiom schema

See also

Was this page helpful?

Yes No

Thank you for your feedback! Tell your friends about this page

Tell us why?