| dbo:abstract
|
- Unter Epsilon-Induktion (auch ∈-Induktion) versteht man in der Mathematik ein spezielles Beweisverfahren der Mengenlehre. Gilt es zu beweisen, dass eine Aussage für alle Mengen gilt, so reicht es laut Epsilon-Induktion zu zeigen, dass sie für die Mengen gilt, für deren Elemente sie gilt. Präzise ausgedrückt besagt die Epsilon-Induktion also Ihren Namen hat die Epsilon-Induktion dem griechischen Kleinbuchstaben ε zu verdanken, aus dem sich das heutige Elementzeichen entwickelte. (de)
- 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. (en)
- Dalam matematika, induksi- (induksi-epsilon atau induksi-himpunan) merupakan sebuah ragam . Dianggap sebagai sebuah skema aksioma teori himpunan alternatif, ini disebut Aksioma (skema) induksi (himpunan) Ini dapat digunakan dalam teori himpunan untuk membuktikan bahwa semua himpunan memenuhi sebuah sifat yang diberikan. Ini merupakan sebuah kasus khusus mengenai . (in)
- 在数学中，归纳法（ε歸納法、Epsilon归纳法）是超限归纳法的变种，在集合论中，用以证明所有集合x皆满足某性质P，即命題P[x]成立。归纳公理斷言對所有性質P， 若只要集合x的所有元素y皆滿足性質P就足以推出x满足性質P，那么所有x都满足P。 用公式表达是这样： 此公理等价于策梅洛-弗兰克尔集合论中的正则性公理，即斷言所有集合皆良基。 (zh)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 21809 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:wikiPageUsesTemplate
| |
| dcterms:subject
| |
| rdfs:comment
|
- Unter Epsilon-Induktion (auch ∈-Induktion) versteht man in der Mathematik ein spezielles Beweisverfahren der Mengenlehre. Gilt es zu beweisen, dass eine Aussage für alle Mengen gilt, so reicht es laut Epsilon-Induktion zu zeigen, dass sie für die Mengen gilt, für deren Elemente sie gilt. Präzise ausgedrückt besagt die Epsilon-Induktion also Ihren Namen hat die Epsilon-Induktion dem griechischen Kleinbuchstaben ε zu verdanken, aus dem sich das heutige Elementzeichen entwickelte. (de)
- 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. (en)
- Dalam matematika, induksi- (induksi-epsilon atau induksi-himpunan) merupakan sebuah ragam . Dianggap sebagai sebuah skema aksioma teori himpunan alternatif, ini disebut Aksioma (skema) induksi (himpunan) Ini dapat digunakan dalam teori himpunan untuk membuktikan bahwa semua himpunan memenuhi sebuah sifat yang diberikan. Ini merupakan sebuah kasus khusus mengenai . (in)
- 在数学中，归纳法（ε歸納法、Epsilon归纳法）是超限归纳法的变种，在集合论中，用以证明所有集合x皆满足某性质P，即命題P[x]成立。归纳公理斷言對所有性質P， 若只要集合x的所有元素y皆滿足性質P就足以推出x满足性質P，那么所有x都满足P。 用公式表达是这样： 此公理等价于策梅洛-弗兰克尔集合论中的正则性公理，即斷言所有集合皆良基。 (zh)
|
| rdfs:label
|
- Epsilon-Induktion (de)
- Epsilon-induction (en)
- Induksi-epsilon (in)
- Epsilon归纳法 (zh)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |
