On Wednesday, December 11, 2013 4:23:18 AM UTC-4, WM wrote:
> 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 constructivist the collection of constructable numbers is not listable. You fail to realize that to a constructivist, the fact that a collection G has the property that 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.
If not, set theory is self-contradictory. > > > > Regards, WM