All integers are by definition finite. Positive integers are defined by S(S(S(...S(0)...))) a finite number of times, where S is the successor function. (And negatives in the obvious way.)