Hello,
what kind of characterization do you want? If you accept ZFC as
"outside world", then there is no elementary characterization of
FinSet (in the sense of finitary first-order logic) because every
ultrapower of FinSet satisfies the same (finitary) first-order
sentences.
Greetings
Reinhard