> Of course the set of all finite words is listable. This list is constructable. The set of all constructable numbers is a sub list.

However, this sub list is not constructable. (Thus to a constructivistthe collection of constructable numbers is not listable. You fail to realizethat to a constructivist, the fact that a collection G has the propertythat every member of G is an element of K does not make G a subset of K.)Your frequent reference to a non-constructable list should give you pause.