数理逻辑中一个撤消百年的悖论  

作　　者：忻鼎稼[1] 周敏[2] 

机构地区：[1]复旦大学计算机科学系 [2]美国俄亥俄州立大学社会学系

出　　处：《科学》2016年第3期31-34,共4页Science

摘　　要：罗素发布的一个逻辑矛盾不是无法解释的悖论,而只是集合论中一个由错误前提导致的自相矛盾,它是数学推理中违反逻辑排中原则必然导致荒谬的典型。百年来,它在相关学科中仍在宣传,其实这个所谓悖论百年前已经被策梅洛撤消,这是一段值得反思的历史。

关 键 词：集合论 策梅洛公理系统 罗素悖论 划分公理 逻辑排中原则 

分 类 号：O141[理学—数学]