| Property |
Value |
| dbo:abstract
|
- Cette liste d'énoncés indécidables dans ZFC est formée d'affirmations dont il est démontré qu'elles sont indépendantes de la théorie des ensembles ZFC (la théorie prise comme fondement des mathématiques contemporaines, formée des axiomes de Zermelo–Fraenkel auxquels on adjoint l'axiome du choix), c'est-à-dire que cette théorie (en supposant qu'elle soit consistante) ne peut ni les démontrer, ni démontrer leur négation. (fr)
- Cette liste d'énoncés indécidables dans ZFC est formée d'affirmations dont il est démontré qu'elles sont indépendantes de la théorie des ensembles ZFC (la théorie prise comme fondement des mathématiques contemporaines, formée des axiomes de Zermelo–Fraenkel auxquels on adjoint l'axiome du choix), c'est-à-dire que cette théorie (en supposant qu'elle soit consistante) ne peut ni les démontrer, ni démontrer leur négation. (fr)
|
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 17377 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:art
|
- List of statements independent of ZFC (fr)
- List of statements independent of ZFC (fr)
|
| prop-fr:fr
|
- cardinal Mahlo (fr)
- problème de Whitehead (fr)
- axiome de symétrie de Freiling (fr)
- diagramme de Cichoń (fr)
- ensemble fortement de mesure nulle (fr)
- principe du losange (fr)
- cardinal Mahlo (fr)
- problème de Whitehead (fr)
- axiome de symétrie de Freiling (fr)
- diagramme de Cichoń (fr)
- ensemble fortement de mesure nulle (fr)
- principe du losange (fr)
|
| prop-fr:id
| |
| prop-fr:lang
| |
| prop-fr:langue
| |
| prop-fr:texte
|
- fortement de mesure nulle (fr)
- fortement de mesure nulle (fr)
|
| prop-fr:trad
|
- Whitehead problem (fr)
- Mahlo cardinal (fr)
- Diamond principle (fr)
- Cichoń diagram (fr)
- Freiling's axiom of symmetry (fr)
- strong measure zero set (fr)
- Whitehead problem (fr)
- Mahlo cardinal (fr)
- Diamond principle (fr)
- Cichoń diagram (fr)
- Freiling's axiom of symmetry (fr)
- strong measure zero set (fr)
|
| prop-fr:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdfs:comment
|
- Cette liste d'énoncés indécidables dans ZFC est formée d'affirmations dont il est démontré qu'elles sont indépendantes de la théorie des ensembles ZFC (la théorie prise comme fondement des mathématiques contemporaines, formée des axiomes de Zermelo–Fraenkel auxquels on adjoint l'axiome du choix), c'est-à-dire que cette théorie (en supposant qu'elle soit consistante) ne peut ni les démontrer, ni démontrer leur négation. (fr)
- Cette liste d'énoncés indécidables dans ZFC est formée d'affirmations dont il est démontré qu'elles sont indépendantes de la théorie des ensembles ZFC (la théorie prise comme fondement des mathématiques contemporaines, formée des axiomes de Zermelo–Fraenkel auxquels on adjoint l'axiome du choix), c'est-à-dire que cette théorie (en supposant qu'elle soit consistante) ne peut ni les démontrer, ni démontrer leur négation. (fr)
|
| rdfs:label
|
- Liste d'énoncés indécidables dans ZFC (fr)
- ZFC系統無法確定的命題列表 (zh)
- Liste d'énoncés indécidables dans ZFC (fr)
- ZFC系統無法確定的命題列表 (zh)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
