近年来，特别是二十世纪六十年代在美国数学家科恩(Paul Cohen)将力迫法引入集合论研究后，数学界出现了对非标准集合论研究的热潮，也就是在采用其他公理后再来考察集合论本身，一个已经讨论得比较多的话题是决定公理的使用。在采用决定公理后，系统又出现了主体和客体合一的有趣局面，而传统数学的哲学基础是要求主体和客体分离的。当然还有其他公理，例如马丁公理，因此如何在泛系的框架下，重新进行主体和客体的分离，哪怕是有条件的相对分离，都是具有重大理论价值的成果，它将引发其他领域里（例如量子物理）的一系列的强烈“地震”。 这方面的研究，只要泛系统队伍中有人肯下工夫深入去做，是大有希望做出成绩来的，甚至可以拿菲尔兹大奖。我已经感觉到，集合论的研究已经出现了类似当年非欧几何出现前期的局面，几何系统有三种，三种都是符合逻辑的。类似的，逻辑上独立的集合论系统除了 ZFC 或者 GB 之外，可能也有多种，它们都有各自适用的领域。 网站效果图设计思路市场调研公司的最主要职能是如何制作网址最简单的方法商业设计理念推广的主要目的是什么武汉光谷新闻最新消息软件开发外包方案暖暖 视频 在线 观看 高清衢州设计公司上海公司买房条件计算机技术移动互联网开发微信公众号怎么做文章编辑网络推广的方法和途径c语言程序设计网站网站网页的优化方法域名搜索引擎艾滋病阻断药多久有效网上服务大厅平台怎么制作动图顺企网app下载网页设计教程的资料手表排行榜网站备案流程是什么制作游戏网站开发板是单片机吗泉州网站设计师招聘宁波网站建设哪家快北京学生聚集深圳互联网公司招聘信息网络营销策略理论厦门seo关键词排名