There he represented intuitionism while Carnap and von Neumann represented logicism and formalism respectively

Add punctuation
There he represented intuitionism while Carnap and von Neumann represented logicism and formalism respectively.