The difference between Axiom schema and Axiom scheme

When used as nouns, axiom schema means 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, whereas axiom scheme means 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.


check bellow for the other definitions of Axiom schema and Axiom scheme

  1. Axiom schema as a noun (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.

  1. Axiom scheme as a noun (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.

Compare words:

Compare with synonyms and related words: