What is the definition of Axiom schema? | Dictionary.net

AXIOM SCHEMA

\ˈaksɪəm skˈiːmə], \ˈaksɪəm skˈiːmə], \ˈa_k_s_ɪ__ə_m s_k_ˈiː_m_ə]\

Definitions of AXIOM SCHEMA

1985 - The Free On-line Dictionary of Computing

Sort: Oldest first

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.

1985 - The Free On-line Dictionary of Computing
By Denis Howe

Word of the day

Snake's-head

Guinea-hen flower; -- so called in England because its spotted petals resemble the scales of a snake's head.

View More

Nearby Words

axiological
axiology
axiom
axiom of choice
axiom of comprehension
axiom schema
axiomatic
axiomatic architecture description language
axiomatic semantics
axiomatic set theory
axiomatical