En lógica y matemáticas, los axiomas de Zermelo-Fraenkel, formulados por Ernst Zermelo y Adolf Fraenkel, son un sistema axiomático concebido para formular la teoría de conjuntos. Normalmente se abrevian como ZF o en su forma más común, complementados por el axioma de elección (axiom of choice), como ZFC. Durante el siglo XIX algunos matemáticos trataron de llevar a cabo un proceso de formalización de la matemática a partir de la teoría de conjuntos.

rdfs:comment
  • En lógica y matemáticas, los axiomas de Zermelo-Fraenkel, formulados por Ernst Zermelo y Adolf Fraenkel, son un sistema axiomático concebido para formular la teoría de conjuntos. Normalmente se abrevian como ZF o en su forma más común, complementados por el axioma de elección (axiom of choice), como ZFC. Durante el siglo XIX algunos matemáticos trataron de llevar a cabo un proceso de formalización de la matemática a partir de la teoría de conjuntos. (es)
foaf:isPrimaryTopicOf
rdfs:label
  • Axiomas de Zermelo-Fraenkel (es)
Is foaf:primaryTopic of
dcterms:subject
prov:wasDerivedFrom
dbpedia-owl:wikiPageID
  • 793700 (xsd:integer)
dbpedia-owl:wikiPageLength
  • 32189 (xsd:integer)
dbpedia-owl:wikiPageOutDegree
  • 72 (xsd:integer)
Is dbpedia-owl:wikiPageRedirects of [34 values]
dbpedia-owl:wikiPageRevisionID
  • 74801747 (xsd:integer)
prop-latam:wikiPageUsesTemplate
dbpedia-owl:wikiPageWikiLink [51 values]
Is dbpedia-owl:wikiPageWikiLink of [85 values]