This is a preview. Log in through your library . Abstract In Part III of his 1879 logic Frege proves a theorem in the theory of sequences on the basis of four definitions. He claims in Grundlagen that ...