“If the things that are are many, that then they must be both like and unlike, but this is impossible. For neither can unlike things be like, nor like things unlike.”