A method of epsilon substitution for the predicate logic with equality. - Mints, G. (Journal of Mathematical Sciences, 1997)