Обсуждение:Упорядоченная пара

Определение упорядоченной пары по Куратовскому.

В определении упорядоченной пары по Куратовскому допущена ошибка. Написано:$(a,b)=\{a,\;\{a,\;b\}\}$. Должно быть: $(a,b)=\{\{a\},\;\{a,\;b\}\}$. Ваша версия - так называемая short version, и она тоже имеет право на жизнь, но это, безусловно, не определение из книги Куратовского, Мостовского, на которую Вы ссылаетесь и, кроме того, работа с этим определением требует принятия аксиомы регулярности, что не нужно в версии Куратовского. Есть и другие аргументы против этого определения. 2.94.30.220 18:50, 30 апреля 2015 (UTC)