2 ) Class construction axiom schema : Let formula _ 13 be any formula which does not contain the variable formula _ 8 free .
2 ) Class construction axiom schema : Let formula 13 be any formula which does not contain the free formula 8 variable .