text: Если аксиому ограничения мощности ослабить до следующей: если область определения функции классов является множество, то и область значений также является множеством — то ни в какой форме аксиома выбора не является теоремой NBG.