Описывая нелогические аксиомы теории, мы будем часто приводить незамкнутые формулы. В этом случае всегда имеется ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Драгалин А.Г. Конструктивная теория доказательств и нестандартный анализ


Описывая нелогические аксиомы теории, мы будем часто приводить незамкнутые формулы. В этом случае всегда имеется в виду, что следует взять замыкание рассматриваемых формул кванторами общности.

(cкачать страницу)

Смотреть книгу на libgen

Описывая нелогические аксиомы теории,  мы будем часто приводить незамкнутые формулы.  В этом случае всегда имеется в виду,  что следует взять замыкание рассматриваемых формул кванторами общности.