In der Mengenlehre wird eine Kardinalzahl als große Kardinalzahl bezeichnet, wenn ihre Existenz erwiesenermaßen nicht mit den üblichen Axiomen der Mengenlehre ZFC bewiesen werden kann. Nimmt man die Aussage, dass eine große Kardinalzahl mit einer bestimmten Eigenschaft existiert, als neues Axiom zu ZFC hinzu, erhält man eine stärkere Theorie, in der einige der in ZFC unentscheidbaren Sätze entschieden werden können.
| Property | Value |
|---|
| dbpedia-owl:abstract
|
- In der Mengenlehre wird eine Kardinalzahl als große Kardinalzahl bezeichnet, wenn ihre Existenz erwiesenermaßen nicht mit den üblichen Axiomen der Mengenlehre ZFC bewiesen werden kann. Nimmt man die Aussage, dass eine große Kardinalzahl mit einer bestimmten Eigenschaft existiert, als neues Axiom zu ZFC hinzu, erhält man eine stärkere Theorie, in der einige der in ZFC unentscheidbaren Sätze entschieden werden können. Diese Große-Kardinalzahl-Axiome spielen deshalb in der modernen Mengenlehre eine wichtige Rolle.
|
| dbpedia-owl:wikiPageID
| |
| dbpedia-owl:wikiPageInterLanguageLink
| |
| dbpedia-owl:wikiPageRevisionID
| |
| dcterms:subject
| |
| rdfs:comment
|
- In der Mengenlehre wird eine Kardinalzahl als große Kardinalzahl bezeichnet, wenn ihre Existenz erwiesenermaßen nicht mit den üblichen Axiomen der Mengenlehre ZFC bewiesen werden kann. Nimmt man die Aussage, dass eine große Kardinalzahl mit einer bestimmten Eigenschaft existiert, als neues Axiom zu ZFC hinzu, erhält man eine stärkere Theorie, in der einige der in ZFC unentscheidbaren Sätze entschieden werden können.
|
| rdfs:label
| |
| owl:sameAs
| |
| http://www.w3.org/ns/prov#wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbpedia-owl:wikiPageRedirects
of | |
| is foaf:primaryTopic
of | |
