笛卡尔逻辑和命题的可推导性关系,赵峰,,为使集合论和数理逻辑能够适应分析数学的要求,可分析集合被提出,且能表达为P={x|x∈P}。由此,引入和分析笛卡尔逻辑以使逻辑的�