Бесконечно множество: Разлика помеѓу преработките

[проверена преработка][проверена преработка]
Избришана содржина Додадена содржина
сНема опис на уредувањето
Ред 14:
Ако едно бесконечно множество е [[добро-подредено множество]], тогаш мора да има непразно подмножество кое нема најголем елемент.
 
Според ЦемелоЦермело-Френкеловата теорија, едно множество е бесконечно ако и само ако [[партитивно множество|партитивното множество]] на неговото партитивно множество е [[Дедекинд-бесконечно множество]], содржејќи подмножество што е [[рамнобројност|рамнобројно]] само на себе. Ако држи и аксиомата на избор, тогаш бесконечните множествa се токму Дедекинд-бесконечните множества.
 
Ако едно бесконечно множество е добро-подредливо множество, тогаш има многу добри поредоци што се неизоморфни.