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

Мат. existential axiomatics