Теоремы оснований математики

Вики

Теорема о продолжении Шпильрайна

Теорема о расширении Шпильрайна Теорема о расширении Шпильрайна утверждает, что каждый частичный порядок может быть расширен до полного порядка.  Доказательство […]

Вики

Теорема о хорошем порядке

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

Прокрутить вверх