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

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

• # Аксиомой исчисления высказываний является:
• # Верно правило для некоторых конечных множеств формул А, В, С, Д:
• # Процесс вывода можно представить:
• # Параметром формулы A может быть:
• # Две формулы с параметрами эквивалентны, если они одновременно: