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