Теорема.   Множество целых чисел ¨ счетно.

Логическая_формулировка Доказательство Доказать_самостоятельно Демонстрация_доказательства

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

Логическая_формулировка

    Теорема.   Декартово произведение §´§ является счетным множеством.

Логическая_формулировка Доказательство Доказать_самостоятельно Демонстрация_доказательства

    Следствие.   Декартово произведение §´¨ является счетным множеством.

Логическая_формулировка Доказательство Доказать_самостоятельно Демонстрация_доказательства

Предыдущая_страница Следующая_страница