Теорема о правильном упорядочении
- Теорема о правильном порядке утверждает, что любой набор можно упорядочить, используя функцию выбора.
- Аксиома выбора является более сильной теоремой, чем теорема о правильном порядке.
- Доказательство теоремы о правильном порядке использует аксиому выбора для определения порядка на наборе.
- Доказательство аксиомы выбора включает только один произвольный выбор и использует теорему о правильном порядке для каждого элемента.
Полный текст статьи: