This is sometimes confused with morse Kelly set theory, but the latter has a denumerable model. Isn't this how to tell first from second order, as per Jensen's theorem? Sent from my iPad