(Axiomatic Set Theory, 13) Equivalent definition of a well-ordered set

preview_player
Показать описание
We prove that a set is well-ordered exactly when there are no infinite descending sequences.
Рекомендации по теме