19:30 2023/9/28
今天粗略看了第九到十二章的内容,没有完全看懂,只是粗略看了一遍。
16:21 2023/9/29
第十三到第十七章,同上。
17:02 2023/9/30
第十八到第二十二章,同上。
16:36 2023/10/1
第二十三到第二十五章,同上。
第一章,终于知道 axiom of extension 是什么了,就是简单的元素相同的集合相等。
11:41 2023/10/2
第二章,终于知道 axiom of specificatioin 是什么了,就是对于一个集合存在一个集合是这个集合加上一个限定条件,还有一个特殊的限定条件证明了原来的集合并不是包含了所有。
15:10 2023/10/2
第三章,axiom of pairing 说的是对于任意两个集合,存在一个集合包含这两个集合。感觉说了和没说一样。三个集合、四个集合等的则没有说。
15:19 2023/10/3
第四章,axiom of unions 对于一个集合的集合,存在一个集合包含所有前述集合中的各个集合中的元素,符号为$\cup \varrho $, $\cup\left { X:X\epsilon \varrho \right } $, \(\cup _{X\epsilon \varrho } X\), 交集的符号类似,其中\(\varrho\)为集合的集合。