This paper is the continuation of the paper [13]. Namely, in [13], the scope of the structural completeness in the class of all over-systems of the classical predicate calculus, has been established. In this paper we ...This paper is the continuation of the paper [13]. Namely, in [13], the scope of the structural completeness in the class of all over-systems of the classical predicate calculus, has been established. In this paper we establish the scope of the structural completeness in the class of all over-systems of the classical functional calculus with identity.展开更多
文摘This paper is the continuation of the paper [13]. Namely, in [13], the scope of the structural completeness in the class of all over-systems of the classical predicate calculus, has been established. In this paper we establish the scope of the structural completeness in the class of all over-systems of the classical functional calculus with identity.