|
LeonMagnym |
Раз решимость теории первого порядка  01.06.2012, 23:21 |
|
25/05/12
3
|
|
Подскажите пожалуйста с чего начинается доказательство раз решимости теории первого порядка с равенством, после того, как я доказал все теоремы?
|
|
|
|
 |
|
Профессор Снэйп |
Re: Раз решимость теории первого порядка 04.06.2012, 09:02 |
|
| Заморожен |
 |
18/12/07
8774
Новосибирск
|
после того, как я доказал все теоремы? Вообще все?
|
|
|
|
|
|
Sender |
Re: Раз решимость теории первого порядка 04.06.2012, 09:22 |
|
14/01/11
3141
|
|
Да, если все теоремы уже доказаны, достаточно найти среди доказательств искомое.
|
|
|
|
|
|
LeonMagnym |
Re: Раз решимость теории первого порядка 05.06.2012, 22:51 |
|
25/05/12
3
|
|
А вот с этим и все трудности, каким требованиям должно отвечать искомое доказательство?
Спасибо.
|
|
|
|
|
  |
Страница 1 из 1
|
[ Сообщений: 4 ] |
|
Модераторы: Модераторы Математики, Супермодераторы
