%0 Journal Article %A S. Feferman %A C. Spector %T Incompleteness along paths in progressions of theories %J Matematika %D 1971 %P 159-166 %V 15 %N 6 %I mathdoc %U http://geodesic.mathdoc.fr/item/MAT_1971_15_6_a6/ %G ru %F MAT_1971_15_6_a6