иерархия первого порядка

Мат. first-order hierarchy