induction axiom
An induction axiom specifies that a theory includes induction, possibly restricted to specific formulas. IND is the general axiom of induction:
If is restricted to some family of formulas then the axiom is called F-IND, or F induction. For example the axiom -IND is:
Title | induction axiom |
---|---|
Canonical name | InductionAxiom |
Date of creation | 2013-03-22 12:56:51 |
Last modified on | 2013-03-22 12:56:51 |
Owner | Henry (455) |
Last modified by | Henry (455) |
Numerical id | 7 |
Author | Henry (455) |
Entry type | Definition |
Classification | msc 03F35 |
Synonym | IND |
Synonym | -IND |
Synonym | axiom of induction |