Mikie, боюсь, что у этой штуки может не быть конечного описания :( и ответ не описывается никаким конечным набором аксиом.

Кстати, я нигде не видел теоремы доказывающей, что не существует объектов сложность которых требует более чем счётного описания. А было бы очень интересно знать, такие есть или нет. Ради общего просветления :)