無限個あるなら並べられない・対角線全部取ることはできない

このような立場に立つなら、そもそも可算無限かどうかを論じることすらできないので、>>1の着眼点はおかしい