Формула счетного множества в сигнатуре теории множеств

[3AKPbIBAKA]

Здравствуйте! Нужно написать формулу сигнатуры теории множеств, говорящую, что x- счетное множество.
Я знаю, как записать, что x- счетный ординал, и все.

[Профессор Снэйп]

Ну и пишите существование биекции между $x$ и счётным ординалом, в чём проблема?

-- Пт дек 31, 2010 03:59:52 --

Можно, кстати, вообще без ординалов. Пишем, что $x$ бесконечно и для любого $y \subseteq x$ либо $y$ конечно, либо $|y| = |x|$. Аксиома выбора, насколько я понимаю, предполагается истинной.