Definition. ZFC+ [0017]

ZFC+ is obtained from ZFC by taking

• symbols from ZFC, and a new symbol
• formulas of ZFC with one unquantified variable replaced by

and the following axioms

• Equality axioms and logical axiom schemes of ZFC
• non-logical axioms of ZFC
• is countable and transitive
• with any non-logical axiom of ZFC.