A finite set is a set that can be counted using the natural numbers $$1,\ldots,n$$ for a certain natural number $$n$$. But what is counting ? And then, what is