循环并不可恶--《恶性循环:非良基现象的数学》评介

摘要：

@@ 上世纪初,罗素悖论和其他几个集合论悖论的出现引起了许多著名数学家的震惊.为了排除悖论,集合论学者们借助公理方法对康托尔的理论和方法进行了系统整理,建立起了多种严谨的集合论体系,当今应用广泛的ZF集合论就是其中最为著名的一种.直观上集合与类不分,一个性质决定一个类,ZF集合论不能承诺所有这些类都是集合,它用基础公理FA来保证所承诺的集合都是良基的.

机标关键词：恶性循环、非良基

分类号：B813(逻辑学(论理学))

在线出版日期：2005-07-14（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：59-62