обратить внимание на: лемму кантора, доказательства счетности множества, твг + тнг множестваотрезки и интервалы/ лемма канторасчетные и несчетные мн-ваточные грани