Dada por buena la Teoría de las Formas, Sócrates toma las formas de Grandeza y Pequeñez, para mostrar que, en sentido estricto, «lo que verdaderamente es» no admite en sí su contrario.