Ensemble fini au sens de Tarski

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.

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.