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

[cousin_it]

Thank you for helping me fill my stupid gap in understanding!