讨论:连续统假设

连续统假设属于维基百科数学主题的基础条目第五级。请勇于更新页面以及改进条目。
本条目属于下列维基专题范畴：

（获评未评级、高重要度）

	数学主题查论编本条目属于数学专题范畴，该专题旨在改善中文维基百科数学类内容。如果您有意参与，请浏览专题主页、参与讨论，并完成相应的开放性任务。
未评	根据专题质量评级标准，本条目尚未接受评级。
高	根据专题重要度评级标准，本条目已评为高重要度。

Untitled

我觉得：“肉丝跑蛋”管理员删除下面的内容（remove self-invented statements），违反“传播客观知识”的共识，原因“这是集合论公理体系的缺陷”这句话。--Ygqkarl 02:54 2005年5月30日 (UTC)

※※※※※※※※※※※※※※※※

注：“这是集合论公理体系的缺陷”，仅仅是针对西方文化来说的，如果换成包括中国文化和印度文化的东方文化，则连续统假设则被认为是辩证逻辑的一条定理，参见尚未解决的问题（id=12262315）

照楼上的观点 "经典物理在极微观尺度失效"这类的说法也是应该被删除了因为总可以搞出一个"这只是西方自然科学的观点在东方文化来看......"云云

上面这位网友，没有署名。没有区别“社会学科”与“自然学科”，也没有区分“向前发展”还是“阻碍发展”等。通常来说，包括“经典物理”的自然学科，是不分东西方的。而哲学等文化学科是分东西方的，因为还没有出现全球共认的。举例来说，按尚未解决的问题（id=12262315）中的内容，将逻辑学的公理定义为 R(·,·)=“∈”∪“ $\notin$ ”∪“Φ”，这难道就不是“集合论公理体系”吗？--Ygqkarl 00:38 2005年10月12日 (UTC)

如果一一映射的两个集合的基数不一定相等，那么怎么办？

这时，ZF需要增加FAC（AC的升级版本）。FAC主要用于解释AC。定义若一一映射的若干集合的基数一定相等，则这些集合叫做标集；否则，这些集合叫做泛集。标集有基数，泛集无基数。定义对于若干泛集，若强制按其中一个来解释，则这些泛集叫做标泛集。标泛集有基数。定义标集之间的一一映射叫做标射。泛集合之间的一一映射叫做泛射。标泛集之间的一一映射叫做标泛射。性质标射假设等价于有限元AC，标泛射假设等价于AC，泛射假设等价于FAC。