19/12/13 07:58:13 ljJF0g2A.net
>>713
追加
URLリンク(en.wikipedia.org)
Epsilon-induction
(抜粋)
In mathematics, ∈-induction (epsilon-induction) is a variant of transfinite induction.
It can be used in set theory to prove that all sets satisfy a given property P(x). This is a special case of well-founded induction.
(引用終り)
以上