The Comprehension Principle and Its Deletion——A Complete Logical Calculus

来源 :中国科学:数学英文版 | 被引量 : 0次 | 上传用户:chengshisanren
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
The unrestricted use of comprehension principle leads the set theory,λ-conversion,combmatory logic and logical predicate calculus to fall into inconsistency.Therefore,it is usually necessary to set some limit on the principle.But with the principle restri
其他文献
The sufficient conditions for the existence of inertial manifolds of infinite-dimensional dynamical systems governed by a class of nonlinear parabolic variation
In this paper, a new concept of selection operators on hyperspaces (subsets spaces) is introduced, and the existence theorems for several kinds of selection ope
Suppose B is a sufficiently large positive constant, ε is a sufficiently small positive constant, N is a sufficiently large natural number, and A = N7/81+ε. I
This paper discusses the problem of simple representation of multi-place functions from the viewpoint of 'simple approximation'. We prove that a class o
The algebra automorphisms of the quantized enveloping algebra Uq(g) are discussed, where q is generic. To some extent, all quantum deformations of automorphisms
By using a coupling technique,this paper presents some lower bounds of the first eigenvalue of an adjoint operator △+Z on compact M.This method is new and the
In this paper,we study the K-stability theory of nonlinear delay systems.In the more general case,we establish two nonlinear delay differential inequalities.The
The distributivity of the forgetful functor F and of certain subfunctors of F has been studied.
The method of iterated Tikhonov regularization with perturbed operators and noisy data for solving operators equations of the first kind is investigated. The ra
The theory of B-convergence for general linear methods is extended to general nonlinear muhivalue methods and to nonlinear stiff problems in Banach spaces. More