sentences:  The intended interpretation of formula_3 is the class of all sets.The axioms of Ackermann set theory, collectively referred to as A, consists of the universal closure of the following formulas in the language formula_1
  
  1) Axiom of extensionality