Аксіомна схема підстановки
З Вікіпедії, безкоштовно encyclopedia
Аксіомна схема підстановки — в теорії множин є схемою з аксіоматики Цермело-Френкеля.
По суті, вона говорить, що образ множини деякої визначеної функції теж є множиною.
Аксіомна схема підстановки — в теорії множин є схемою з аксіоматики Цермело-Френкеля.
По суті, вона говорить, що образ множини деякої визначеної функції теж є множиною.