罗素悖论 编辑
罗素悖论，也称为理发师悖论、书目悖论，是英国哲学家伯特兰·罗素于1901年提出的悖论，一个关于类的内涵问题。
5
图片 0 图片
评论 0 评论
匿名用户 · [[ show_time(comment.timestamp) ]]
[[ nltobr(comment.content) ]]
相关
策梅洛-弗兰克尔集合论，含选择公理时常简写为ZFC，是在数学基础中最常用形式的公理化集合论，不含选择公理的则简写为ZF。它是二十世纪早期为了建构一个不会导致类似罗素悖论的矛盾的集合论所提出的一个公理系统。
在最广泛的层面上，类型论是关注把实体分类到叫做等价类的搜集中的数学和逻辑分支。在这种意义上，它与范畴有关。现代类型论在部分上是响应罗素悖论而发明的，并在伯特兰·罗素和阿弗烈·诺夫·怀海德的《数学原理》中起到重要作用。
策梅洛-弗兰克尔集合论，含选择公理时常简写为ZFC，是在数学基础中最常用形式的公理化集合论，不含选择公理的则简写为ZF。它是二十世纪早期为了建构一个不会导致类似罗素悖论的矛盾的集合论所提出的一个公理系统。
数学危机在历史上发生过三次，每一次均对数学的发展有重大影响。在第一次数学危机中，因为发现腰长为1的等腰直角三角形的斜边长度无法写成有理数，从而引申出日后的无理数概念。第二次数学危机得以解决微积分引入无穷小量而产生的问题。第三次数学危机则是因罗素悖论而起，它点出朴素集合论中的缺失。
在最广泛的层面上，类型论是关注把实体分类到叫做等价类的搜集中的数学和逻辑分支。在这种意义上，它与范畴有关。现代类型论在部分上是响应罗素悖论而发明的，并在伯特兰·罗素和阿弗烈·诺夫·怀海德的《数学原理》中起到重要作用。
在最广泛的层面上，类型论是关注把实体分类到叫做等价类的搜集中的数学和逻辑分支。在这种意义上，它与范畴有关。现代类型论在部分上是响应罗素悖论而发明的，并在伯特兰·罗素和阿弗烈·诺夫·怀海德的《数学原理》中起到重要作用。
策梅洛-弗兰克尔集合论，含选择公理时常简写为ZFC，是在数学基础中最常用形式的公理化集合论，不含选择公理的则简写为ZF。它是二十世纪早期为了建构一个不会导致类似罗素悖论的矛盾的集合论所提出的一个公理系统。
策梅洛-弗兰克尔集合论，含选择公理时常简写为ZFC，是在数学基础中最常用形式的公理化集合论，不含选择公理的则简写为ZF。它是二十世纪早期为了建构一个不会导致类似罗素悖论的矛盾的集合论所提出的一个公理系统。
策梅洛-弗兰克尔集合论，含选择公理时常简写为ZFC，是在数学基础中最常用形式的公理化集合论，不含选择公理的则简写为ZF。它是二十世纪早期为了建构一个不会导致类似罗素悖论的矛盾的集合论所提出的一个公理系统。
策梅洛-弗兰克尔集合论，含选择公理时常简写为ZFC，是在数学基础中最常用形式的公理化集合论，不含选择公理的则简写为ZF。它是二十世纪早期为了建构一个不会导致类似罗素悖论的矛盾的集合论所提出的一个公理系统。