dict.org

The DICT Development Group


Search for:
Search type:
Database:

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.
  
     (2009-02-10)
  

Contact=webmaster@dict.org Specification=RFC 2229