From TheBestLinks.com
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.
Related links
Top visited
0 of
0 links
[no links posted yet]
>> place link >>
Discussion
Last posted
0 of
0 messages
[no messages posted yet]
>> post message >>
Watch
You can
add this article to your own "watchlist" and receive e-mail notification about all changes in this page.
