first-order predicate

Мат. предикат первого порядка

Источник: Полный англо-русский словарь на Gufo.me