Definition of Axiom scheme

1. Noun. (logic) A formula in the language of an axiomatic system, in which one or more schematic variables appear, which stand for any term or subformula of the system, which may or may not be required to satisfy certain conditions. ¹



¹ Source: wiktionary.com

Axiom Scheme Pictures

Click the following link to bring up a new window with an automated collection of images related to the term: Axiom Scheme Images

Lexicographical Neighbors of Axiom Scheme

axiolingual
axiolinguocervical
axiolinguoclusal
axiolinguogingival
axiological
axiologically
axiologies
axiologist
axiologists
axiology
axiom
axiom of choice
axiom of extensionality
axiom schema
axiom schemata
axiom scheme (current term)
axiom schemes
axiom system
axioma
axiomata
axiomatic
axiomatic system
axiomatic systems
axiomatical
axiomatically
axiomatics
axiomatisable
axiomatisation
axiomatisations
axiomatise

Other Resources Relating to: Axiom scheme

Search for Axiom scheme on Dictionary.com!Search for Axiom scheme on Thesaurus.com!Search for Axiom scheme on Google!Search for Axiom scheme on Wikipedia!

Search