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

[Stuart_Armstrong]

Sounds like a cool idea! Though I wouldn’t call it a “sequence” :-)