An extention of the inverse method to axiomatic theories with equality

The inverse method [I] for predicate calculus with equality is generalized, to axiomatic theories. A proof strategy is proposed for axiomatic theories with the sign of equality as the only predicate letter.