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

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

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

Примечания

Историческая справка

См. также

• Аксиоматика теории множеств

Литература

Эта статья слишком короткая. Пожалуйста, дополните её ещё хотя бы несколькими предложениями и уберите это сообщение. Если статья останется недописанной, она может быть выставлена к удалению. Для указания на продолжающуюся работу над статьёй используйте шаблон {{subst:L}}.

Для улучшения этой статьи по математике желательно?: Переработать оформление в соответствии с правилами написания статей. Викифицировать статью. Дополнить статью (статья слишком короткая либо содержит лишь словарное определение). Найти и оформить в виде сносок ссылки на авторитетные источники, подтверждающие написанное.