| Property |
Value |
| dbo:abstract
|
- En théorie des ensembles, un ensemble est fini au sens de Tarski quand toute famille non vide de parties de cet ensemble admet un élément minimal pour l'inclusion. Cette définition est équivalente à la définition usuelle d'ensemble fini dans une théorie des ensembles sans axiome du choix (typiquement ZF), mais contrairement à celle-ci n'utilise pas directement les entiers naturels.
* Portail de la logique
* Portail des mathématiques (fr)
- En théorie des ensembles, un ensemble est fini au sens de Tarski quand toute famille non vide de parties de cet ensemble admet un élément minimal pour l'inclusion. Cette définition est équivalente à la définition usuelle d'ensemble fini dans une théorie des ensembles sans axiome du choix (typiquement ZF), mais contrairement à celle-ci n'utilise pas directement les entiers naturels.
* Portail de la logique
* Portail des mathématiques (fr)
|
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 797 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdfs:comment
|
- En théorie des ensembles, un ensemble est fini au sens de Tarski quand toute famille non vide de parties de cet ensemble admet un élément minimal pour l'inclusion. Cette définition est équivalente à la définition usuelle d'ensemble fini dans une théorie des ensembles sans axiome du choix (typiquement ZF), mais contrairement à celle-ci n'utilise pas directement les entiers naturels.
* Portail de la logique
* Portail des mathématiques (fr)
- En théorie des ensembles, un ensemble est fini au sens de Tarski quand toute famille non vide de parties de cet ensemble admet un élément minimal pour l'inclusion. Cette définition est équivalente à la définition usuelle d'ensemble fini dans une théorie des ensembles sans axiome du choix (typiquement ZF), mais contrairement à celle-ci n'utilise pas directement les entiers naturels.
* Portail de la logique
* Portail des mathématiques (fr)
|
| rdfs:label
|
- Ensemble fini au sens de Tarski (fr)
- Ensemble fini au sens de Tarski (fr)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
