|
Rinat0293 |
Как доказать? (мат. логика)  20.05.2012, 17:05 |
|
20/05/12
2
|
|
Здравствуйте!
У меня вопрос: такой, как доказать, что дополнение множества геделевых номеров Tk* невыразимо в К.
Подскажите в какую сторону копать, а то чего то я застрял на этой задачке.
Спасибо!
|
|
|
|
 |
|
A'Y |
Re: Как доказать? (мат. логика) 20.05.2012, 17:28 |
|
01/04/12
107
И где бы ты ни был
|
|
|
|
|
|
Rinat0293 |
Re: Как доказать? (мат. логика) 20.05.2012, 17:48 |
|
20/05/12
2
|
|
К это теория первого порядка, непротиворечивая
|
|
|
|
|
  |
Страница 1 из 1
|
[ Сообщений: 3 ] |
|
Модераторы: Модераторы Математики, Супермодераторы
