В теорию плотных линейных упорядоченных множеств без первого и последнего элемента входит аксиома:

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

• # Формула (А - бескванторная ) общезначима, если общезначима дизъюнкция подстановок:
• # Алгоритм вывода формул :
• # Контрпример к секвенции - это набор значений переменных, для которых все формулы:
• # Для некоторой сигнатуры S две ее интерпретации называются элементарно эквивалентными, если:
• # В игре Эренфойхта: