Доказать разрешимость теория первого порядка с равенством К2 – элементарной теории плотно упорядоченных множеств без первого и последнего элементов.Описание К2 –– см. в книге: «Э. Мендельсон. Введение в математическую логику. М., 1971 – с. 89, упр.2». (М.: с. 104 - 108)