Ensemble fini au sens de Tarski
Une proposition de fusion est en cours entre Ensemble fini au sens de Tarski et Ensemble fini#Les définitions de Tarski et de Russell-Whitehead.
Les avis sur cette proposition sont rassemblés dans une section de Wikipédia:Pages à fusionner. Les modifications majeures apportées, entre-temps, aux articles doivent être commentées sur la même page.
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, mais contrairement à celle-ci n'utilise pas directement les entiers naturels.
