Как доказать?(Упражнение из Математической логики)

[LeonMagnym]

Пусть K-2 -- теория первого порядка с двумя предикатными буквами = и < без функциональных букв и предметных констант и со следующими аксиомами (a)-(h)
Доказать, что К-2 есть теория первого порядка с равенством(К-2 есть элементарная теория плотно упордоченных множеств без первого и последнего элементов)
Упражнение 2 на данной странице.

[Toucan]

Тема перемещена в Карантин.

Чтобы оттуда выбраться

1. Измените название темы на более информативное.

2. Запишите формулы в соответствии с требованиями Правил форума, т.е. в $\TeX$.
Краткие инструкции можно найти здесь: topic8355.html и topic183.html.
Кроме этого, в теме Видео-пособия для начинающих форумчан можно посмотреть видео-ролик "Как записывать формулы".

3. Приведите свои попытки решения задачи и объясните, что конкретно вызывает затруднения.

После того как исправите сообщение, сообщите об этом в теме Сообщение в карантине исправлено.

________________
Всякий, кто поступил в университет, но не хочет сам учиться - враг своей страны, подрывающий ее научно-технический, интеллектуальный и оборонный потенциалы.
(c) по мотивам сообщения Yuri Gendelman.