axiom schema

Computing Dictionary

axiom schema definition

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)

The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source

00:10

00:09

00:08

00:07

00:06

00:05

00:04

00:03

00:02

00:01

Axiom schema is always a great word to know.
So is slumgullion. Does it mean:
a stew of meat, vegetables, potatoes, etc.
a screen or mat covered with a dark material for shielding a camera lens from excess light or glare.
Dictionary.com, LLC. Copyright © 2012. All rights reserved.
  • Please Login or Sign Up to use the Recent Searches feature
FAVORITES
RECENT