Это (влезу уж) называется по нормальному на русском "аксиома подстановки". К аксиоме выбора отношения не имеет - и из аксиомы выделения не следует (а вот из нее аксиома выделения следует как раз).
И нет - не эквивалентна - именно она обеспечивает например существование алефов с несчетными индексами (вообще - трансфинитная индукция именно на ней держится)
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
timeasmymeasure
no subject
Date: 2015-03-24 03:16 pm (UTC)И нет - не эквивалентна - именно она обеспечивает например существование алефов с несчетными индексами (вообще - трансфинитная индукция именно на ней держится)