экзистенциональная логика

Мат. logic of existence