The class of binary relations $R$ on the natural numbers such that $(\mathbb{N},R) \models ZFC$ forms a Borel set, neither closed nor open. Is it in some sense complete for finite levels of the Borel hierarchy?