Original sentence: The outright prohibition implied in the axiom of reducibility was roundly criticised by Zermelo in his 1908 Investigations in the foundations of set theory I, stung as he was by a demand similar to that of Russell that came from Poincaré:
Edited sentence: The outright prohibition implied by Russell's axiom of reducibility was roundly criticised by Ernst Zermelo in his 1908 Investigations in the foundations of set theory I, stung as he was by a demand similar to that of Russell that came from Poincaré: