Есть у меня должок с прошлого года.
Мне нужно дойти до аксиомы выбора, чтобы потом посмотреть как она применяется при доказательстве парадокса Банаха-Тарского.
Аксиоматику теории множеств (Цермело-Френкеля) я излагаю по книжке Френкеля и Бар-Хиллела "Основания теории множеств".
Поскольку тема эта изрядно мною заброшена, сейчас сделаю индекс предыдущих записей, а потом продолжу.
Парадокс Банаха-Тарского
Парадокс Банаха-Тарского II
Персоналии:
Стефан Банах
Альфред Тарский и другие
Теория множеств:
Аксиоматика теории множеств
Аксиоматика теории множеств II
Аксиоматика теории множеств III. Отношение равенства
Аксиоматика теории множеств IV. Отношение равенства
Аксиоматика теории множеств V
Аксиоматика теории множеств VI