Every body must necessarily be either finite or infinite, and if infinite, either of similar or of dissimilar parts. If its parts are dissimilar, they must represent either a finite or an infinite number of kinds. That the kinds cannot be infinite is evident, if our original presuppositions remain unchallenged.