Intuitivamente, un conjunto es finito si termina quedando vacío al extraerle elementos de uno en uno. El propósito de este trabajo es formalizar esta noción de finitud conjuntista y discutir algunas propiedades que se derivan de ella, en un marco teórico-conjuntista independiente del Axioma de Selección.
