Несчетность множества действительных чисел: математические основы