出典:Wikipedia
出典:『Wikipedia』 (2011/05/26 13:44 UTC 版)
In mathematics,
-induction (epsilon-induction) is a variant of transfinite induction, which can be used in set theory to prove that all sets satisfy a given property P[x]. If the truth of the property for x follows from its truth for all elements of x, for every set x, then the property is true of all sets. In symbols: