Vesper: Qraizer, ну, в первой части я в самом деле сослался на гипотезу континуума. Но доказательство из второй части её не требует - там строился элемент множества (0,1), по определению не равный ни одному элементу последовательности, предполагаемо содержащей все элементы из (0,1).