wuthefwasthat comments on Second order logic, in first order set-theory: what gives?

[wuthefwasthat]

I don’t think that’s true. You may not believe that the set of functions is unique (in which case the notion of sets in bijection is no longer unique).