Now in the case of things predicated in what something is, it is clear; for if it is possible to define, or if what it is to be something is knowable, but one cannot go through indefinitely many things, it is necessary that the things predicated in what something is are finite.