可分析集合、笛卡尔逻辑和命题的可推导性关系  Analytical sets, Cartesian logic and dialectical relations on propositions
              本文在ZFC公理系统的基础上,首先提出可分析集合的概念且可表达为p={x｜x∈p}.然后给出受囿变量的定义,引入笛卡尔逻辑以使逻辑的概念像算法的概念一样精确化而成为明确的数学对象,不仅足以适应代数和分析的要求,而且充分满足经典和非经典逻辑的需要,并探讨命题间的可推导性关系,包括:对立、排中、重言、归谬、反对、矛盾、存在、全称、独立、同一和不矛盾.进而,讨论一些逻辑运算和有关的逻辑问题,并进一步阐述可分析集合的几个基本关系和基本运算.
            