On 7 Feb., 20:45, William Hughes <wpihug...@gmail.com> wrote: > On Feb 7, 8:42 pm, WM <mueck...@rz.fh-augsburg.de> wrote:> On 7 Feb., 20:35, William Hughes <wpihug...@gmail.com> wrote: > > > > On Feb 7, 8:27 pm, WM <mueck...@rz.fh-augsburg.de> wrote: > > > > > The list if defined, would have a defined anti-diagonal. > > > Anyhow, there are countably many.
Yes, and there is a list of them
Standard terminology is that X is countable iff X is listable. X can be unlistable and sub-countable, so X can be uncountable and sub-countable. There is nothing contradictory about saying the accessible numbers are uncountable and sub-countable. (end of quote)
The latter say the constructivists, the former say the matheologians. And there is a unsurmountabe abyss between matheology and intuitionism.