On 24 Jun., 21:26, "Mike Terry" <news.dead.person.sto...@darjeeling.plus.com> wrote:
There is a starting list L0 and many following lists. During construction step n+1 the list is
An ... L0
and has an antidiagonal.
The antidiagonals of all these lists are countable but canot be written in form of a list (it does not matter if in a separate list or in a list with spaces or else), because, if written in form of some list, they would yield an antidiagonal that was not in the list. Hence all antidiagonals of this process, though countable, cannot be written in a list.