пусть

последовательность множеств так что

содержит все нерациональные числа.
верны ли следующие утверждения:
1) для любых a, b (a<b) существует

так что

- несчетное множество
2) множество

либо включает в себя лишь рациональные числа либо пусто.
-----------------------------
первое не кажется верным. потому что получаем все ирациональные числа на отрезке - чего достаточно для несчетности.
второе - не очень понятно.