|

楼主 |
发表于 2025-1-22 19:44
|
显示全部楼层
康托是包括序数理论,基数理论的集合论的创始人, 但不
是集合论的完善者.他用柯西有理数序列构造了实数域.
所谓构造实数域, 就是给出具体的代数结构使之满足实
数域公理.实数域公理定义了何谓实数域, 而实数域构造
则证明满足公理的结构的存在性. 抽象代数证明了满足
实数公理的诸构造是代数同构的. 所以本质上只有一个
实数域,没有完善实数域这回事.
康托没有称包括无穷序数的良序集\(\Omega\)的成员为自然数,
因为他清楚\(\Omega\)是\(\mathbb{N}\)的序扩充但不是代数扩充: 若\(\Omega\)能代
数扩充为整数环\(\mathbb{Z}\), 则方程\(n+1=\omega\)就应该在\(\Omega\)中有解.
但这是不可能的,对畜生不如的蠢疯更不可能.
所以康托的序数, 基数概念与自然数概念彼此不可取代.
无论孬种蠢疯咋扑腾,他仍为畜生中的孬种, 孬种里的畜生
|
|