Выдержка из книги
Столл Р.Р.
Множества Логистика Аксиоматические теории
А ( л:), то в получающейся в результате формуле А ( г) ни одно свободное вхождение какой-либо переменной в г не становится связанным вхождением. Далее, мы вводим множество нелогических аксиом, составляющих математическое содержание теории. Определения доказуемости и выводимости остаются без изменений, но объем самих этих понятий расширяется благодаря добавлению нелогических аксиом.
