Das Unendlichkeitsaxiom ist ein Axiom der Mengenlehre, das die Existenz einer induktiven Menge postuliert. Es heißt Unendlichkeitsaxiom, da induktive Mengen auch zugleich unendliche Mengen sind. Das erste Unendlichkeitsaxiom publizierte Ernst Zermelo 1908 in der Zermelo-Mengenlehre. Es hat alle späteren Mengentheorien beeinflusst, insbesondere die Zermelo-Fraenkel-Mengenlehre (ZF), die verbreitetste Mengenlehre, die Zermelos Unendlichkeitsaxiom in geringfügig modifizierter Form übernahm.

PropertyValue
dbpedia-owl:abstract
  • Das Unendlichkeitsaxiom ist ein Axiom der Mengenlehre, das die Existenz einer induktiven Menge postuliert. Es heißt Unendlichkeitsaxiom, da induktive Mengen auch zugleich unendliche Mengen sind. Das erste Unendlichkeitsaxiom publizierte Ernst Zermelo 1908 in der Zermelo-Mengenlehre. Es hat alle späteren Mengentheorien beeinflusst, insbesondere die Zermelo-Fraenkel-Mengenlehre (ZF), die verbreitetste Mengenlehre, die Zermelos Unendlichkeitsaxiom in geringfügig modifizierter Form übernahm.
dbpedia-owl:wikiPageID
  • 6293055 (xsd:integer)
dbpedia-owl:wikiPageInterLanguageLink
dbpedia-owl:wikiPageRevisionID
  • 102238822 (xsd:integer)
dcterms:subject
rdfs:comment
  • Das Unendlichkeitsaxiom ist ein Axiom der Mengenlehre, das die Existenz einer induktiven Menge postuliert. Es heißt Unendlichkeitsaxiom, da induktive Mengen auch zugleich unendliche Mengen sind. Das erste Unendlichkeitsaxiom publizierte Ernst Zermelo 1908 in der Zermelo-Mengenlehre. Es hat alle späteren Mengentheorien beeinflusst, insbesondere die Zermelo-Fraenkel-Mengenlehre (ZF), die verbreitetste Mengenlehre, die Zermelos Unendlichkeitsaxiom in geringfügig modifizierter Form übernahm.
rdfs:label
  • Unendlichkeitsaxiom
rdfs:seeAlso
owl:sameAs
http://www.w3.org/ns/prov#wasDerivedFrom
foaf:isPrimaryTopicOf
is foaf:primaryTopic of