>>5
infiniteはfiniteの誤りだろう。
その下に

It follows from (1.9.1) that any subset of a denumerable set is finite
or denumerable

とあるのだから。

ひょっとしたら、あの頭のおかしい人が文体を変えてきたのか?