existential axiomatics

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