зачем ты умер, иван

Дико извиняюсь за задержку с ответом: попал в сумасшедшее
приключение, поэтому, не смог ответить вовремя.

> а что не понятно, интересно?

Я действительно не знаю самых элементарных вещей, напр.,
что такое интерпретация. Теперь вот изучил, по Википедии.
Вообще, такие вещи, как теория моделей, приходится изучать
на бегу, т.к. они еще не попали в общематематический контекст.

Абыдна. Потому, что теорема Акса-Кочена, классическая, и вообще.