metamathematical predicate

Мат. метаматематический предикат