axiom schema

In symbolic logic, it is sometimes inconvenient or impossible to express an axiomatic system in a finite number of axioms. For this reason, an axiom schema is used. Formally, an axiom schema is a set (usually infinite) of well formed formulae, each of which is taken to be an axiom. Often, this set is constructed recursively. A well known axiom schema is the axiom schema of replacement. There is debate among metamathematicians as to whether an axiomatic system containing an axiom schema should be considered elegant. Some logicians thus prefer, if possible, to use a finite number of axioms.

<< Previous

Word Browser

Next >>

modacrylic
royal tongan airlines
maria von trapp
hindenburg line
galo plaza lasso
fishing lure
james pleasants
lure
plenty coups
lenny breau
william henry finlay

japanese scops owl
leonidas plaza
ballyvaughan
smith v. allwright
origin of india's name
blakiston's fish owl
philippine scops owl
tar heel
maximilian ulysses reichsgraf von browne
ss 2
james plunkett

urbanized area
bacteriochlorophyll
wobbler (fishing)
peralta stones
alexander f. i. forbes
fox river mall
list of amd duron microprocessors
verde river
jim plunkett
konstantin pobedonostsev
corrofin

maurice podoloff
spinner (fishing)
george poindexter
testament of job
louis poinsot
ernest leonard johnson
dubose heyward
mikhail nikolayevich pokrovski
cylindrobulloidea
john charles polanyi
christian panucci