About: dbpedia-fr:Théorie_des_ensembles_de

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: dbpedia-fr:Théorie_des_ensembles_de_Zermelo-Fraenkel Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
rdfs:label	Axiomas de Zermelo-Fraenkel (es) Теорія множин Цермело — Френкеля (uk) Théorie des ensembles de Zermelo-Fraenkel (fr) ZFC (ca) Zermelo-Fraenkel-verzamelingenleer (nl)
rdfs:comment	En mathématiques, la théorie des ensembles de Zermelo-Fraenkel, abrégée en ZF, est une axiomatisation en logique du premier ordre de la théorie des ensembles telle qu'elle avait été développée dans le dernier quart du XIXe siècle par Georg Cantor. L'axiomatisation a été élaborée au début du XXe siècle par plusieurs mathématiciens dont Ernst Zermelo et Abraham Fraenkel mais aussi Thoralf Skolem. En raison de son statut particulier, on considère en général que l'axiome du choix ne fait pas partie de la définition de ZF et on note ZFC la théorie obtenue en ajoutant celui-ci. * * (fr)
rdfs:seeAlso	http://mathworld.wolfram.com/Zermelo-FraenkelSetTheory.html http://www.enciclopedia.cat/EC-GEC-0073263.xml https://www.britannica.com/topic/Zermelo-Fraenkel-set-theory https://www.jstor.org/topic/zermelo-frankel-set-theory
sameAs	dbpedia-de:Zermelo-Fraenkel-Mengenlehre dbr:Zermelo–Fraenkel_set_theory wikidata:Q191849 dbpedia-als:Zermelo-Fraenkel-Mengenlehre dbpedia-ar:نظرية_المجموعات_حسب_تسيرميلو-فرانكل dbpedia-ca:ZFC dbpedia-cs:Zermelova–Fraenkelova_teorie_množin dbpedia-cy:Damcaniaeth_setiau_Zermelo–Fraenkel dbpedia-da:Zermelo-Fraenkels_aksiomer dbpedia-es:Axiomas_de_Zermelo-Fraenkel dbpedia-et:Zermelo-Fraenkeli_aksiomaatika dbpedia-hr:Zermelo–Fraenkelova_teorija_skupova dbpedia-it:Teoria_degli_insiemi_di_Zermelo-Fraenkel dbpedia-ko:체르멜로-프렝켈_집합론 dbpedia-la:Axiomata_Zermelo-Fraenkel http://lt.dbpedia.org/resource/Zermelo-Frenkelio_aibių_teorija dbpedia-nl:Zermelo-Fraenkel-verzamelingenleer dbpedia-pl:Aksjomaty_Zermela-Fraenkla dbpedia-pt:Axiomas_de_Zermelo-Fraenkel dbpedia-ro:Sistemul_axiomatic_Zermelo-Fraenkel dbpedia-ru:Система_Цермело_—_Френкеля dbpedia-simple:Zermelo–Fraenkel_set_theory dbpedia-sr:Цермело-Френкел_теорија_скупова dbpedia-sv:Zermelo–Fraenkels_mängdteori dbpedia-tr:Zermelo-Fraenkel_küme_teorisi dbpedia-uk:Теорія_множин_Цермело_—_Френкеля dbpedia-vi:Lý_thuyết_tập_hợp_Zermelo–Fraenkel dbpedia-zh:策梅洛-弗兰克尔集合论 http://g.co/kg/m/013tp0 http://ma-graph.org/entity/51460 http://babelnet.org/rdf/s00739998n
Wikipage page ID	581464 (xsd:integer)
Wikipage revision ID	186100737 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Théorie_des_ensembles Abraham Fraenkel Akihiro Kanamori Axiomatization Axiom of extensionality Axiom of regularity Axiom of power set Axiom of empty set Axiom of infinity Axiom of pairing Axiom of union Axiom of choice Azriel Lévy First-order logic dbpedia-fr:Cambridge_University_Press dbpedia-fr:Classe_(mathématiques) dbpedia-fr:Elsevier Encyclopædia Britannica Well-order dbpedia-fr:Ernst_Zermelo Foundations of mathematics dbpedia-fr:Forcing dbpedia-fr:Georg_Cantor dbpedia-fr:Grand_cardinal dbpedia-fr:Hypothèse_du_continu dbpedia-fr:Inclusion_(mathématiques) dbpedia-fr:Kurt_Gödel dbpedia-fr:Lemme_de_Zorn dbpedia-fr:Liste_d'énoncés_indécidables_dans_ZFC dbpedia-fr:Méréologie dbpedia-fr:Nombre_ordinal Hartogs number Russell's paradox dbpedia-fr:Paul_Cohen Richard Montague dbpedia-fr:Schéma_d'axiomes_de_compréhension dbpedia-fr:Schéma_d'axiomes_de_remplacement dbpedia-fr:Thoralf_Skolem dbpedia-fr:Théorie_axiomatique dbpedia-fr:Théorie_des_catégories dbpedia-fr:Théorie_des_ensembles dbpedia-fr:Théorie_des_ensembles_de_Morse-Kelley dbpedia-fr:Théorie_des_ensembles_de_Zermelo dbpedia-fr:Théorie_des_ensembles_de_von_Neumann-Bernays-Gödel dbpedia-fr:Théorie_des_ensembles_non_bien_fondés dbpedia-fr:Théorie_naïve_des_ensembles Well-ordering theorem Gödel's incompleteness theorems Constructible universe Yehoshua Bar-Hillel Yiannis N. Moschovakis dbpedia-fr:Mathématiques
Link from a Wikipage to an external page	http://www.ltn.lv/~podnieks/gt2.html%23BM2_3 http://math.bu.edu/people/aki/16.pdf http://www.encyclopediaofmath.org/index.php/ZFC http://global.britannica.com/EBchecked/topic/346217/history-of-logic/284157/Zermelo-Fraenkel-set-theory-ZF

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 9 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software