неэкстенсиональный контекст

Мат. nonextensional context