Раз решимость теории первого порядка

[LeonMagnym]

Подскажите пожалуйста с чего начинается доказательство раз решимости теории первого порядка с равенством, после того, как я доказал все теоремы?

[Профессор Снэйп]

LeonMagnym в сообщении #579628 писал(а):

после того, как я доказал все теоремы?

Вообще все?

[Sender]

Да, если все теоремы уже доказаны, достаточно найти среди доказательств искомое.

[LeonMagnym]

А вот с этим и все трудности, каким требованиям должно отвечать искомое доказательство?
Спасибо.