Definition of Infinite sets?

I have found that a set is infinite when it's not a finite set. My question is this definition taken as an axiom or is it necessary to prove it (therefore prove that only two kinds of sets exist, the finite and the infinite)