La théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du XIXe siècle. La théorie des ensembles se donne comme primitives les notions d'ensemble et d'appartenance, à partir desquelles elle reconstruit les objets usuels des mathématiques : fonctions, relations, entiers naturels, relatifs, rationnels, nombres réels, complexes… C'est pourquoi la théorie des ensembles est considérée comme une théorie fondamentale dont Hilbert a pu dire qu'elle était un « paradis » créé par Cantor pour les mathématiciens.

Property Value
dbo:abstract
  • La théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du XIXe siècle. La théorie des ensembles se donne comme primitives les notions d'ensemble et d'appartenance, à partir desquelles elle reconstruit les objets usuels des mathématiques : fonctions, relations, entiers naturels, relatifs, rationnels, nombres réels, complexes… C'est pourquoi la théorie des ensembles est considérée comme une théorie fondamentale dont Hilbert a pu dire qu'elle était un « paradis » créé par Cantor pour les mathématiciens. En plus de proposer un fondement aux mathématiques, Cantor introduisit avec la théorie des ensembles des concepts radicalement nouveaux, et notamment l'idée qu'il existe plusieurs types d'infini que l'on peut mesurer et comparer au moyen de nouveaux nombres (ordinaux et cardinaux). À cause de sa modernité, la théorie des ensembles fut âprement controversée, notamment parce qu'elle postulait l'existence d'ensembles infinis, en contradiction avec certains principes des mathématiques constructives ou intuitionnistes. Au début du XXe siècle, plusieurs facteurs ont poussé les mathématiciens à développer une axiomatique pour la théorie des ensembles : la découverte de paradoxes tels que le paradoxe de Russell, mais surtout le questionnement autour de l'hypothèse du continu qui nécessitait une définition précise de la notion d'ensemble. Cette approche formelle conduisit à plusieurs systèmes axiomatiques, le plus connu étant les , mais également la théorie des classes de von Neumann ou la théorie des types de Russell. (fr)
  • La théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du XIXe siècle. La théorie des ensembles se donne comme primitives les notions d'ensemble et d'appartenance, à partir desquelles elle reconstruit les objets usuels des mathématiques : fonctions, relations, entiers naturels, relatifs, rationnels, nombres réels, complexes… C'est pourquoi la théorie des ensembles est considérée comme une théorie fondamentale dont Hilbert a pu dire qu'elle était un « paradis » créé par Cantor pour les mathématiciens. En plus de proposer un fondement aux mathématiques, Cantor introduisit avec la théorie des ensembles des concepts radicalement nouveaux, et notamment l'idée qu'il existe plusieurs types d'infini que l'on peut mesurer et comparer au moyen de nouveaux nombres (ordinaux et cardinaux). À cause de sa modernité, la théorie des ensembles fut âprement controversée, notamment parce qu'elle postulait l'existence d'ensembles infinis, en contradiction avec certains principes des mathématiques constructives ou intuitionnistes. Au début du XXe siècle, plusieurs facteurs ont poussé les mathématiciens à développer une axiomatique pour la théorie des ensembles : la découverte de paradoxes tels que le paradoxe de Russell, mais surtout le questionnement autour de l'hypothèse du continu qui nécessitait une définition précise de la notion d'ensemble. Cette approche formelle conduisit à plusieurs systèmes axiomatiques, le plus connu étant les , mais également la théorie des classes de von Neumann ou la théorie des types de Russell. (fr)
dbo:discoverer
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 3288332 (xsd:integer)
dbo:wikiPageLength
  • 32593 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 190363295 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:année
  • 2003 (xsd:integer)
  • 2006 (xsd:integer)
prop-fr:annéePremièreÉdition
  • 1993 (xsd:integer)
prop-fr:commons
  • Set theory (fr)
  • Set theory (fr)
prop-fr:fr
  • Théorie des ensembles de Tarski-Grothendieck (fr)
  • Matthew Foreman (fr)
  • Forcing itéré (fr)
  • Théorie des ensembles de Tarski-Grothendieck (fr)
  • Matthew Foreman (fr)
  • Forcing itéré (fr)
prop-fr:isbn
  • 978 (xsd:integer)
prop-fr:langue
  • en (fr)
  • en (fr)
prop-fr:lienAuteur
  • René Cori (fr)
  • Thomas Jech (fr)
  • René Cori (fr)
  • Thomas Jech (fr)
prop-fr:nom
  • Cori (fr)
  • Lascar (fr)
  • Jech (fr)
  • Cori (fr)
  • Lascar (fr)
  • Jech (fr)
prop-fr:numéroD'édition
  • 3 (xsd:integer)
prop-fr:pagesTotales
  • 772 (xsd:integer)
prop-fr:prénom
  • Daniel (fr)
  • René (fr)
  • Thomas (fr)
  • Daniel (fr)
  • René (fr)
  • Thomas (fr)
prop-fr:sousTitre
  • The Third Millennium Edition, revised and expanded (fr)
  • The Third Millennium Edition, revised and expanded (fr)
prop-fr:texte
  • itérée (fr)
  • itérée (fr)
prop-fr:titre
  • Set Theory (fr)
  • Logique mathématique, tomes 2, chapitre 7 (fr)
  • Set Theory (fr)
  • Logique mathématique, tomes 2, chapitre 7 (fr)
prop-fr:trad
  • Tarski–Grothendieck set theory (fr)
  • Iterated forcing (fr)
  • Tarski–Grothendieck set theory (fr)
  • Iterated forcing (fr)
prop-fr:wikiPageUsesTemplate
prop-fr:wikiversity
  • Axiomes des théories des ensembles (fr)
  • Axiomes des théories des ensembles (fr)
prop-fr:wikiversityTitre
  • Axiomes des théories des ensembles (fr)
  • Axiomes des théories des ensembles (fr)
prop-fr:éditeur
dct:subject
rdfs:comment
  • La théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du XIXe siècle. La théorie des ensembles se donne comme primitives les notions d'ensemble et d'appartenance, à partir desquelles elle reconstruit les objets usuels des mathématiques : fonctions, relations, entiers naturels, relatifs, rationnels, nombres réels, complexes… C'est pourquoi la théorie des ensembles est considérée comme une théorie fondamentale dont Hilbert a pu dire qu'elle était un « paradis » créé par Cantor pour les mathématiciens. (fr)
  • La théorie des ensembles est une branche des mathématiques, créée par le mathématicien allemand Georg Cantor à la fin du XIXe siècle. La théorie des ensembles se donne comme primitives les notions d'ensemble et d'appartenance, à partir desquelles elle reconstruit les objets usuels des mathématiques : fonctions, relations, entiers naturels, relatifs, rationnels, nombres réels, complexes… C'est pourquoi la théorie des ensembles est considérée comme une théorie fondamentale dont Hilbert a pu dire qu'elle était un « paradis » créé par Cantor pour les mathématiciens. (fr)
rdfs:label
  • Théorie des ensembles (fr)
  • Mengenlehre (de)
  • Multzo-teoria (eu)
  • Stelteorie (af)
  • Teoria de conjunts (ca)
  • Teorienn an teskadoù (br)
  • Teoría de conjuntos (es)
  • Verzamelingenleer (nl)
  • Теорія множин (uk)
  • ሥነ ስብስብ (am)
  • 集合論 (ja)
  • Théorie des ensembles (fr)
  • Mengenlehre (de)
  • Multzo-teoria (eu)
  • Stelteorie (af)
  • Teoria de conjunts (ca)
  • Teorienn an teskadoù (br)
  • Teoría de conjuntos (es)
  • Verzamelingenleer (nl)
  • Теорія множин (uk)
  • ሥነ ስብስብ (am)
  • 集合論 (ja)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:discipline of
is dbo:domain of
is dbo:isPartOf of
is dbo:knownFor of
is dbo:mainArticleForCategory of
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is prop-fr:champs of
is prop-fr:renomméPour of
is prop-fr:titreVolume of
is prop-fr:œuvresPrincipales of
is oa:hasTarget of
is foaf:primaryTopic of