# Completion of incomplete claim about General Set Theory (GST) in Wiki article

In the Wikipedia article on General Set Theory (GST), there is a claim in the section on metamathematics that seems to be missing a disjunct (or shouldn't be a disjunction at all):

GST is:

• Not finitely axiomatizable. Montague (1961) showed that ZFC is not finitely axiomatizable, and his argument carries over to GST. Hence any axiomatization of GST must either include at least one axiom schema such as Separation; [emphasis added]

My question is what is the other disjunct such that GST must "...either include at least one axiom schema such as Separation..." OR ____? Is it something like "...or the second-order closure of such a schema"? Something else? Unclear and safe to ignore? (Or is the "either" just a mistake?)