20. Every strictly decreasing sequence of elements of the set must terminate after only finitely many steps (assuming the axiom of dependent choice).
英
美
释义
注意这个第三点:对于一个良序集,任何严格递减序列都必然是有限的,无论这个集合的基数有多大。
把海词放在桌面上,查词最方便
触屏版
|
电脑版
©2003 - 2024 海词词典(Dict.cn)
立即下载