20. Every strictly decreasing sequence of elements of the set must terminate after only finitely many steps (assuming the axiom of dependent choice).

 
  • 注意这个第三点:对于一个良序集,任何严格递减序列都必然是有限的,无论这个集合的基数有多大。
今日热词
目录 附录 查词历史