[FOM] Countable sets with imprediicative definitions

[Margaret MacDougall]

Can anyone provide examples of countable sets with impredicative 
definitions and apparently no alternative predicative definitions? Just 
to clarify, my intended notion of countable in relation to a set refers 
to the existence of a surjection from the natural numbers (or from the 
natural numbers excluding zero) to that set.


-- 
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.