![]() |
Ластро
15 января 2019
|
Mikie, боюсь, что у этой штуки может не быть конечного описания :( и ответ не описывается никаким конечным набором аксиом.
Кстати, я нигде не видел теоремы доказывающей, что не существует объектов сложность которых требует более чем счётного описания. А было бы очень интересно знать, такие есть или нет. Ради общего просветления :) |