On Saturday, December 21, 2013 3:25:12 AM UTC-4, muec...@rz.fh-augsburg.de wrote: > On Friday, 20 December 2013 22:28:15 UTC+1, Virgil wrote: > > > > > > > If the set of finite formulae is to be considered cuntable, > > > > ? > > > > > there must be a list of members > > > > Here a public proscription seems appropriate.
So we are back to countable but not listable. Basically this involves having your cake and eating it.
Any object that consists only of integers must be a subset of the integers (an thus countable), but a putative 0/1 sequence in which every element is 0 or 1 is only a sequence if there is a finite rule.