"Сколемовская нормальная форма" позволяет получать формулы класса:

вопрос

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

Оставить комментарий

Отправить

• # Для замкнутой А можно указать этой же сигнатуры с добавленными функциональными символами, которая:
• # - теорема А теории T1 и отрицающая ее П1-теорема А теории T2:
• # Без аксиомы "исключенного третьего" выводима:
• # Конструктивно определяемая последовательность переменных, занятых, скобок и символов сигнатуры называется:
• # Если всякий многочлен Pn(x),n>0 имеет в поле X хотя бы один корень, то: