прямое произведение конечного или счётного числа счётных множеств счётно
Конечно, нет. Произведение счётного множества счётных множеств имеет мощность континуум. Да и произведение счётного множества двухэлементных множеств тоже.
Ссылку на статью следовало дать.