Аннотация:Рассматриваются семантики предикатных формул, основанные на понятии модифицированной реализуемости для арифметических формул и выборе той или иной интерпретации языка арифметики конечных типов. Доказывается, что для ряда естественных конструктивных интерпретаций соответствующая предикатная логика модифицированной реализуемости неарифметична.