论文部分内容阅读
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