Схема выделения

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

Схемой выделения называется следующее высказывание теории множеств:

~ \forall a \exist c \forall b \ (b \in c \leftrightarrow b \in a \ \land \ \Phi[b] \ ), где ~ \Phi[b] — любое математически корректное суждение об элементе ~ b множеств ~ a и ~ c, но не о множестве ~ a и не о множестве ~ c.

См. также[править | править исходный текст]

Литература[править | править исходный текст]