Finite Sets—What Kind of Finite?

In mathematics, philosophy, cosmology, and theology, the notion of infinity has generated ample debate. Much less discussion has been generated by the notion of finiteness. However, when we consider finitely supported sets, the notion of finiteness becomes more interesting and richer. We present several independent definitions of finite sets within the framework of finitely supported structures, emphasizing the differences between these definitions.