In set theory, ∈ {\displaystyle \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.
In set theory, ∈ {\displaystyle \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.
Source: Wikipedia "Epsilon-induction" · CC BY-SA 4.0
Share this article: X · Bluesky