Russellsche Antinomie
This theorem schema is itself a restricted form of comprehension, which avoids Russell's paradox because of the requirement that "C" be a set. Then specification for sets themselves can be written as a single axiom