1-公理集合论是如何产生构造出集合的.2-集合与真类的区别.3-空集是什么,它的形式逻辑式.

Carol_Ling 1年前 已收到1个回答 举报

薄荷吖吖 幼苗

共回答了18个问题采纳率:100% 举报

集合是指具有某种特定性质的具体的或抽象的对象汇总成的集体,这些对象称为该集合的元素.

1年前 追问

10

Carol_Ling 举报

不切题。

举报 薄荷吖吖

空集不是无;它是内部没有元素的集合,而集合就是有。这通常是初学者的一个难点。将集合想象成一个装有其元素的袋子的想法或许会有帮助;袋子可能是空的,但袋子本身确实是存在的。
有些人会想不通上述第一条性质,即空集是任意集合A的子集。按照子集的定义,这条性质是说 { } 的每个元素x都属于A。若这条性质不为真,那 { } 中至少有一个元素不在A中。由于{ }中没有元素,也就没有{ }的元素不属于A了,得到{ }的每个元素都属于 A, 即{ }是A的子集。在诸如策梅罗-弗兰克尔集合论的公理集合论中,空集的存在性是由空集公理确定的。空集的唯一性由外延公理得出。
使用分离公理,任何陈述集合存在性的公理将隐含空集公理。例如:若 A 是集合,则分离公理允许构造集合 B = {x in A | x ≠ x},它就可以被定义为空集。

Carol_Ling 举报

若这条性质不为真,那 { } 中至少有一个元素不在A中。由于{ }中没有元素,也就没有{ }的元素不属于A了,得到{ }的每个元素都属于 A, 即{ }是A的子集。
这个逻辑是有问题的,推理的前提条件。我们讨论的对象存在才有意义。
由于{ }中没有元素,也就没有{ }的元素不属于A了,但我们也可以说没有{}的元素属于A。
分离公里的前提是空集存在公理。所有的集合都在空集的基础上构造。

举报 薄荷吖吖

那我也无能为力了,实在抱歉
可能相似的问题
Copyright © 2024 YULUCN.COM - 雨露学习互助 - 18 q. 0.293 s. - webmaster@yulucn.com