This HTML5 document contains 55 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n20http://g.co/kg/m/
rdfshttp://www.w3.org/2000/01/rdf-schema#
category-frhttp://fr.dbpedia.org/resource/Catégorie:
dbpedia-pthttp://pt.dbpedia.org/resource/
n19http://fr.dbpedia.org/resource/Modèle:
n9http://fr.dbpedia.org/resource/Modèle:Traduction/
wikipedia-frhttp://fr.wikipedia.org/wiki/
dbpedia-fahttp://fa.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n7http://ma-graph.org/entity/
n14http://plato.stanford.edu/entries/
dbpedia-frhttp://fr.dbpedia.org/resource/
prop-frhttp://fr.dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/

Statements

Subject Item
dbpedia-fr:Théorie_des_ensembles_non_bien_fondés
rdfs:label
Théorie des ensembles non bien fondés
rdfs:comment
La théorie des ensembles non bien fondés est une variante de la théorie axiomatique des ensembles qui permet aux ensembles de s'appartenir les uns aux autres sans limite. Autrement dit, c'est une théorie des ensembles qui viole l'axiome de fondation. Plus précisément, dans la théorie des ensembles non bien fondés, l'axiome de fondation de ZFC est remplacé par un axiome impliquant sa négation.
rdfs:seeAlso
n14:nonwellfounded-set-theory
owl:sameAs
n7:127670741 wikidata:Q7049089 dbr:Non-well-founded_set_theory dbpedia-fa:نظریه_مجموعه‌های_ناخوش‌بنیان dbpedia-pt:Hiperconjunto n20:045891
dbo:wikiPageID
10483153
dbo:wikiPageRevisionID
191251324
dbo:wikiPageWikiLink
dbpedia-fr:Paul_Bernays dbpedia-fr:Paradoxe_de_Burali-Forti dbpedia-fr:Dmitry_Mirimanoff dbpedia-fr:Appartenance_(mathématiques) dbpedia-fr:Bisimulation dbpedia-fr:Axiome_d'anti-fondation dbpedia-fr:Axiome_d'extensionnalité dbpedia-fr:New_Foundations category-fr:Logique_mathématique dbpedia-fr:Axiome_de_fondation dbpedia-fr:John_von_Neumann dbpedia-fr:Dana_S._Scott dbpedia-fr:Paradoxe_de_Russell dbpedia-fr:Théorie_des_ensembles dbpedia-fr:Algèbre_de_processus dbpedia-fr:Théorie_des_ensembles_de_Zermelo-Fraenkel dbpedia-fr:Paradoxe_du_menteur dbpedia-fr:Théorie_des_types dbpedia-fr:Maurice_Boffa dbpedia-fr:Habilitation_universitaire category-fr:Axiome_de_la_théorie_des_ensembles dbpedia-fr:Relation_bien_fondée category-fr:Théorie_des_ensembles dbpedia-fr:Analyse_non_standard dbpedia-fr:Classe_(mathématiques) dbpedia-fr:Willard_Van_Orman_Quine dbpedia-fr:Paul_Finsler dbpedia-fr:Ensemble category-fr:Fondements_des_mathématiques
dbo:wikiPageLength
8047
dct:subject
category-fr:Axiome_de_la_théorie_des_ensembles category-fr:Fondements_des_mathématiques category-fr:Théorie_des_ensembles category-fr:Logique_mathématique
prop-fr:wikiPageUsesTemplate
n9:Référence n19:Refnec n19:Portail n19:Vignette_multiple
prov:wasDerivedFrom
wikipedia-fr:Théorie_des_ensembles_non_bien_fondés?oldid=191251324&ns=0
prop-fr:légende
Une suite infinie d'ensembles qui se contiennent les uns les autres]
prop-fr:largeur
220
prop-fr:alignement
droite
foaf:isPrimaryTopicOf
wikipedia-fr:Théorie_des_ensembles_non_bien_fondés
dbo:abstract
La théorie des ensembles non bien fondés est une variante de la théorie axiomatique des ensembles qui permet aux ensembles de s'appartenir les uns aux autres sans limite. Autrement dit, c'est une théorie des ensembles qui viole l'axiome de fondation. Plus précisément, dans la théorie des ensembles non bien fondés, l'axiome de fondation de ZFC est remplacé par un axiome impliquant sa négation. L'étude des ensembles non-bien-fondés a été initiée par Demetrius Mirimanoffdans une série d'articles qu'il a publié en français entre 1917 et 1920 et dans lesquels il énonce une distinction entre des suites bien fondées et des suites non bien fondées ; cependant il ne fait pas recours à un axiome de bonne fondation. Alors que plusieurs axiomatiques pour les ensembles non bien fondés ont été proposées par la suite, aucune n'a trouvé d'application jusqu'à ce que Peter Aczel propose sa théorie des hyper-ensembles en 1988. La théorie des ensembles non-bien-fondés permet d'offrir des modèles pour la non-terminaison des calculs de processus en informatique (algèbre de processus), pour la linguistique et pour la sémantique du langage naturel. De plus elle a des applications en philosophie (paradoxe du menteur ) et en analyse non standard.