A definition that is harder to understand, but which is often used by mathematicians, is to say that a set is finite if there is no strict subset that can be put in 1-to-1 correspondence with the set itself.
