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.

Last updated: 2009-02-10

Nearby terms:

Axiom of ChoiceAxiom of Comprehensionaxiom schemaAXLEayacc

Try this search on Wikipedia, OneLook, Google


Loading