Incompleteness Along Paths in Progressions of Theories. - Solomon Feferman; C. Spector (J. Symb. Log., 1962)