<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.
(2009-02-10)
Try this search on Wikipedia, OneLook, Google
Nearby terms: axiomatic set theory « Axiom of Choice « Axiom of Comprehension « axiom schema » AXLE » ayacc » AYT
Copyright 2010 Denis Howe
