тема из http://dxdy.ru/topic96894.html

[alex_dorin]

В рамках еще не созданного форума задам вопрос :
как записать ,например, на DFG частный вид аксиомы выделения, использованной в доказательстве теоремы Кантора о мощностях
https://ru.wikipedia.org/wiki/%D0%A2%D0%B5%D0%BE%D1%80%D0%B5%D0%BC%D0%B0_%D0%9A%D0%B0%D0%BD%D1%82%D0%BE%D1%80%D0%B0"

[Deggial]

Тема перемещена из форума «Работа форума» в форум «Карантин»
Причина переноса: не приведены попытки решения, формулы не оформлены $\TeX$ом

alex_dorin
Приведите попытки решения, укажите конкретные затруднения.
Формулу перепишите сюда, незачем за ней на отдельный сайт лазить, тем более, что там её и нет.
Ссылку оформляйте правильно.
Наберите все формулы и термы $\TeX$ом.
Инструкции по оформлению формул здесь или здесь (или в этом видеоролике).
См. также тему Что такое карантин, и что нужно делать, чтобы там оказаться.
После исправлений сообщите в теме Сообщение в карантине исправлено, и тогда тема будет возвращена.