qq_41885382的博客

本篇文章介绍并深入解释了ZF体系最特别的公理——正规公理。

本篇文章介绍公理化集合论中最常用的模型——ZF体系的前八条公理。

本篇文章快速但严格地介绍了数学的基础——数理逻辑，为公理化集合论的学习做准备。

目录1. 前言2. 网1. 前言我们假设读者已经了解点集拓扑的一些基础概念，例如开集，邻域，紧空间等等，我们现在讨论拓扑空间中的收敛性。我们知道，在度量空间中，许多拓扑性质可以用序列刻画，例如在度量空间XXX中，集合A⊂XA\subset XA⊂X，则AAA的闭包可以被序列刻画：A‾={x∈X:存在序列xn∈A，且d(xn,x)→0}.\overline{A}=\{x\in X:存在序列x_n\in A，且d(x_n,x)\rightarrow 0\}.A={x∈X:存在序列xn​∈A，且d(x

我们介绍一些重要的二元关系，包括“等价”、“偏序”、“全序”、“良序”，以及各自对应的一些拓扑性质。