|
|
本帖最后由 fm1134 于 2015-3-25 21:52 编辑
"Since there exists no axiom system for mathematics , geometry, etc., which does not assume the theory of sets, so will there certainly be no categorical axiomatic infinite system."
既然数学和几何不存在公理系统，而数学和几何并不以集合理论为假定的前提，因此当然也不存在绝对的公理化无穷系统。
这句话是冯。诺依曼在1925年反对把公理化方法作为集合论的基础时所讲的。不大理解这句话，不知其中的逻辑关系是怎样的？公理化无穷系统和数学、几何以及集合论之间是什么关系？ |
|
IP卡
狗仔卡
发表于 2015-3-26 05:50
提升卡
置顶卡
沉默卡
喧嚣卡
变色卡
显身卡