Robin O. Gandy: On the Axiom of Extensionality, Part II. J. Symb. Log. 24(4): 287-300 (1959)