The DICT Development Group

Search for:
Search type:

Database copyright information
Server information

1 definition found
 for axiom schema
From The Free On-line Dictionary of Computing (30 December 2018) :

  axiom schema
      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.

Contact=webmaster@dict.org Specification=RFC 2229