Category
page 1Mathematical induction
mathematical induction
form of mathematical proof
transfinite induction
method of proving that a certain property applies for all elements in a well-founded set
structural induction
form of mathematical proof
Epsilon-induction
In set theory, \in-induction, also called epsilon-induction or set-induction, is a principle that can be used to prove that all sets satisfy a given property. Considered as an axiomatic principle, it is called the axiom schema of set induction.
coinduction
In computer science, coinduction is a technique for defining and proving properties of systems of concurrent interacting objects.