
Re: § 427 Is successful diagonalization of a potent ially infinite list possible?
Posted:
Feb 8, 2014 6:08 PM


On Saturday, February 8, 2014 6:11:49 PM UTC4, WM wrote:
>My idea is the list of all finite words. It is countable.
Correct.
> In set theory every possible sublist (as a subset of N) is existing
Nope. Not in ZFC with (A). A subcollection of a listable collection may not be listable.
William Hughes

