Предикатная схема

Пусть фг — предикат, определяемый на Яг предикатной схемой ФдЕсяТЬ ... [Стр.40]

В 1.4 мы уже показали, что фг — предикат порядка 2 для всякого / г при / > 10. Для Я1,. .., Яд порядок этого предиката равен нулю (тривиально). Таким образом, предикатная схема Фдесять имеет конечный порядок, а именно 2. [Стр.40]

Можно прийти к двум различным теориям, если при изучении ограниченных по диаметру предикатных схем брать в качестве D... [Стр.130]

Предикатная схема

Поиск по сайту

Поделиться

Навигация

Справочник о здоровье человека

Предикатная схема

Поиск по сайту

Поделиться

Навигация