Теорема. Множество целых чисел ¨ счетно.
Определение. Декартовым произведением A´B множеств A и B называется множество всех упорядоченных пар (a,b), где aÎA, bÎB.
Теорема. Декартово произведение §´§ является счетным множеством.
Следствие. Декартово произведение §´¨ является счетным множеством.