The collection of

*binary relations $R$ on the natural numbers such that $(\mathbb{N},R) \models ZFC$*

forms a Borel set, neither closed nor open -- assuming Con(ZFC).

Can you show it's not $F_\sigma$ or $G_\delta$?

Is it actually complete for level $\omega$ of the Borel hierarchy?

1more comment