 Finally, the axiom schema of comprehension, CA, asserts that for every formula \({F}(u)\) of the language of \(\bZ_2\), there is a set \(X=\{u\mid {F}(u)\}\) having exactly those numbers u as members that satisfy \({F}(u)\). More formally, 