08 2022 档案
摘要：在之前对自然数的讨论中，我们已经得到了自然数系中的许多基本运算性质，但是这些性质只局限于加法和乘法运算。本章我们将引入这两个运算的逆运算，即减法和除法，并借此构建整数系
摘要：如果要按照尽可能严格的方式进行，我们不得不从最基础的内容开始讲起：数的概念及性质。什么是数，以及为什么代数法则总是起作用？这是一个值得探讨的问题。即使有的性质和命题看起来是十分显然的，但是证明它可能并不容易。下面我们将要介绍自然数系
摘要：我们现在介绍集合论中的一些概念和记号，他们通常广泛而频繁地被用到。几乎所有数学分支领域都将集合论作为其基础。因此在学习高级的数学领域之前，学习集合论中的一些基础概念是非常重要的。我们下面给出公理集合论中的部分（较为初等）的内容，可以证明，我们将要建立的集合公理体系是等价于ZF公理集合论的。
阅读全文
摘要：注：这篇文章主要是写给自己和lcw看的，可能会比较混乱和难以理解 默认的概念： 对象：数学上一切皆可以看做对象。 朴素的相等关系（
