Abstract

The basic notion connected with the structural completness is the notion of derivability. Thus in this paper we give a sufficient and necessary condition of derivability of any structural and permissible rules in an arbitrary but fixed over-system of the classical predicate calculus. In consequence we estabilish the scope of the structural completeness in the class of all over-system of the classical predicate calculus.