Конструктивно определяемая последовательность переменных, занятых, скобок и символов сигнатуры называется:

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

• # Тавтологией является формула (A,B - формулы):
• # Теория Г может быть:
• # В теорию плотных линейных упорядоченных множеств без первого и последнего элемента входит аксиома:
• # Для сигнатуры и носителя С (комплексные числа) всякая формула:
• # Любое вхождение переменной в терм: