"Критерий разложимости элементарных теорий" - читать интересную книгу автора (Пономарев Д. К.)