Мат.Лог. Аксиоматические классы.

[vas'vas']

Добрый вечер.
Помогите пожалуйста с задачей.

Построить последовательность аксиоматизируемых классов $K_0, $$K_1,$K_2,...$$K_n,... такую, что класс ( \bigcup $n \in \mathbb{\omega}$)$K_n не аксиоматизируем

Английская версия, на всякий случай (http://math.stackexchange.com/questions ... 543_613748)

[bot]

На всякий случай - там реально подсказали.

[vas'vas']

Я не могу доказать последнее, что $K_n заданный таким образом $K_n = (A | |A|<n }
Аксиоматизируемый.

[Deggial]

vas'vas', оформляйте все формулы $\TeX$ом, или тема переедет в Карантин.

Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Карантин»
Причина переноса: формулы не оформлены $\TeX$ом

vas'vas'
Наберите все формулы и термы $\TeX$ом. На картинках можно только чертежи.
Инструкции по оформлению формул здесь или здесь (или в этом видеоролике).
После исправлений сообщите в теме Сообщение в карантине исправлено, и тогда тема будет возвращена