In
mathematical logic, an axiom schema generalizes the notion of
axiom.An axiom schema is a
formula in the language of an
axiomatic system, in which one or more schematic variables appear. These variables, which are metalinguistic constructs, stand for any term or
subformula of the system, which may or may not be required to satisfy certain conditions. Often, such conditions require that certain variables be
free, or that certain variables not appear in the subformula or term.
See more at Wikipedia.org...
Free Download Now!
