# A question regarding the axioms of Separation and Replacement in ZFC

It is well known that the axioms of Separation and Replacement are axiom schema, that is, they subsume an infinite number of first-order axioms for ZFC. My question is, how large an infinity is this, or, perhaps better, how large an infinity should this be. One can naively imagine this infinity to be as large as Ord, the proper class of all ordinals. If it were, could ZFC then be considered 'complete' contrary to the Godel incompleteness theorems? Could one argue that ZFC could not have Ord many instances of Separation and Replacement?

• There are only countably many formulas, so the axiom schemes are countable. – André Nicolas Oct 2 '13 at 19:56
• As a point of information, the plural of schema is schemata. – Brian M. Scott Oct 2 '13 at 19:59
• So if you could choose countably many of your favorite instances of Separation and Replacement (e.g. CH or not-CH,PD or not-PD as you wish given the validity of the set-theoretic multiverse) would ZFC then be complete, contrary to the Godel incompleteness theorems? If not, why not? – Thomas Benjamin Oct 3 '13 at 20:57

The language of set theory has only one symbol, $\in$, except variables and connectives and quantifiers (one can include equality, but it isn't necessary, and many old treatments of $\sf ZFC$ do not include equality).
This means that the set of formulas and sentences in this language is countable. Countable where? In the meta-theory, be it $\sf PA$ or some other arithmetic theory sufficient to develop logic; or even a larger universe of $\sf ZFC$.
Note also that comparing the size of schemas with the size of sets or classes is problematic because the former (as Asaf says) is described in the meta-language and the latter is described in the object language. The distinction becomes important when considering models of set theory, where the class of ordinals of a model may be a countable set (in the universe $V$) and also the model and the universe may not agree on what it means to be an axiom of ZFC.