Как доказать? (мат. логика)

[Rinat0293]

Здравствуйте!
У меня вопрос: такой, как доказать, что дополнение множества геделевых номеров Tk* невыразимо в К.
Подскажите в какую сторону копать, а то чего то я застрял на этой задачке.
Спасибо!

[A'Y]

Что такое K?

[Rinat0293]

К это теория первого порядка, непротиворечивая