分类:集合的公理化定义

来自Big Physics


定义和含义

集合的公理化定义,指的是,用一套严格的数学语言区定义和描述集合本身以及集合之间的关系。

层次标注

在这里,它属于第二层知识,即学科概念。

辅助理解的解释

集合的公理化定义,使得数学家开始严格地定义集合,而不是用“一堆互异的明确的东西”来描述集合,解决了集合论中出现悖论(理发师悖论), 使得集合的定义更加严谨和精确,为集合论提供了坚实的基础。具体这个集合的公理化定义是什么我们暂时不管,我们只需要知道这个集合的公理化定义所解决的问题就是给出了什么样的东西算作集合,尤其是排除了导致前面的问题的“包含一切集合的集合”。数学就是这样的:它既接受现实的启发来推动其发展,也受到纯粹的逻辑反思和推理来推动其发展[1]


  1. 吴金闪,《小数数学这样学》,浙江人民出版社,2023, http://www.systemsci.org/jinshanw/books

本分类目前不含有任何页面或媒体文件。