Свободный Модуль

- см. Вектор. ..

- свободная алгебра многообразия всех группоидов. С. Г. С множеством Xсвободных образующих совпадает с группоидом слов, если под словом понимать любую упорядоченную систему элементов из Xс любыми повторениями, причем в этой системе задано распределение скобок (каждый символ считается взятым в скобки, а затем скобки расставлены так, что каждый раз перемножаются лишь две скобки). Произведением слов (a) и (b)считается слово ((а) (b)). О. А. Иванова. ..

- аксиома, добавленная Б. Расселом (В. Russell) к его разветвленной теории типов с целью избежать расслоения понятий (см. Непредикативное определение). В разветвленной теории типов множества данного типа разделяются на порядки. Так, вместо понятия множества натуральных чисел появляется понятие множества натуральных чисел данного порядка. При этом множество натуральных чисел, определяемое формулами без использования каких-либо множеств, принадлежит первому порядку. Если в определении используетс..

, связанное вхождение переменной,- тип вхождения переменной в языковое выражение. Точное определение для каждого формализованного языка - свое и зависит от правил образования этого языка. Вместо С. Н. Нельзя подставлять объекты. Такая подстановка приводит к бессмысленным выражениям. Но замена С. П. Всюду, где она встречается, на новую для данного выражения переменную приводит к выражению с тем же самым смыслом. Напр., в выражениях переменная хявляется связанной. Подстановка вместо хкакого-..