Ciertamente, como dice Kripke, el análisis llevaría a una serie infinita de segmentos, pero en el lenguaje ordinario no es necesario.Y como dice él mismo tampoco lo pretende con su modelo como algo definitivo.