Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

L'axiome de constructibilité est un des axiomes possibles de la théorie des ensembles affirmant que tout ensemble est constructible. Cet axiome est généralement résumé par V = L, où V représente la classe des ensembles et L est l’univers constructible, la classe des ensembles récursivement définissables via un langage approprié.

Property Value
dbo:abstract
  • L'axiome de constructibilité est un des axiomes possibles de la théorie des ensembles affirmant que tout ensemble est constructible. Cet axiome est généralement résumé par V = L, où V représente la classe des ensembles et L est l’univers constructible, la classe des ensembles récursivement définissables via un langage approprié. (fr)
  • L'axiome de constructibilité est un des axiomes possibles de la théorie des ensembles affirmant que tout ensemble est constructible. Cet axiome est généralement résumé par V = L, où V représente la classe des ensembles et L est l’univers constructible, la classe des ensembles récursivement définissables via un langage approprié. (fr)
dbo:wikiPageID
  • 1766629 (xsd:integer)
dbo:wikiPageLength
  • 2261 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 140322708 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:fr
  • cabale (fr)
  • cabale (fr)
prop-fr:langue
  • en (fr)
  • en (fr)
prop-fr:trad
  • Cabal (fr)
  • Cabal (fr)
prop-fr:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • L'axiome de constructibilité est un des axiomes possibles de la théorie des ensembles affirmant que tout ensemble est constructible. Cet axiome est généralement résumé par V = L, où V représente la classe des ensembles et L est l’univers constructible, la classe des ensembles récursivement définissables via un langage approprié. (fr)
  • L'axiome de constructibilité est un des axiomes possibles de la théorie des ensembles affirmant que tout ensemble est constructible. Cet axiome est généralement résumé par V = L, où V représente la classe des ensembles et L est l’univers constructible, la classe des ensembles récursivement définissables via un langage approprié. (fr)
rdfs:label
  • Axiom of constructibility (en)
  • Axioma de construtibilidade (pt)
  • Axiome de constructibilité (fr)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of