论选择公理与2~(■_0)≥■_1的关系 |
| |
引用本文: | 沈忠环.论选择公理与2~(■_0)≥■_1的关系[J].三峡大学学报(自然科学版),2007(2). |
| |
作者姓名: | 沈忠环 |
| |
作者单位: | 三峡大学理学院 湖北宜昌443002 |
| |
摘 要: | 那汤松(HamaHcoH)在他所著的《实变函数》认为,不需要选择公理就可以证明2■0≥■1.证明,若ZF AD是和谐的,则没有选择公理,2■0≥■1不成立.从而说明那汤松所提示的证明是不严格的.
|
关 键 词: | 选择公理 决定性公理 阿列夫 |
本文献已被 CNKI 等数据库收录! |
|