В игре Эренфойхта, если есть предикат сигнатуры, различающий помеченные элементы интерпретации, то:

Правильный ответ:

• # Теорема о полноте позволяет заменить в формулировке:
• # Секвенция выводима тогда и только тогда, когда она:
• # В выводе секвенции принципиально новое, не содержащегося в секвенции всегда:
• # Число возможных диаграмм семейства многочленов:
• # Если х - свободное вхождение в формулу А или В, то оно: