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

[paulfchristiano]

According to ZFC + “ZFC has models.”