Epsilon-induction
Kind of transfinite induction / From Wikipedia, the free encyclopedia
Dear Wikiwand AI, let's keep it short by simply answering these key questions:
Can you list the top facts and stats about Epsilon-induction?
Summarize this article for a 10 year old
SHOW ALL QUESTIONS
In set theory, -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.
The principle implies transfinite induction and recursion. It may also be studied in a general context of induction on well-founded relations.