Диагональный метод - это идея, она потом используется при доказательстве |2^X| > |X|. Недостатки легко исправляются, я думаю. Диагональный метод доказывает именно несчётность действительных чисел.

(Reply to this) (Parent) (Thread)

Так а Ты чего сказать-то хотел?

(Reply to this) (Parent) (Thread)

Да так, буду отписываться про наиболее важные, на мой взгляд, идеи, с которыми буду сталкиваться по ходу изучения.

(Reply to this) (Parent) (Thread)

Ага, да, спасибо большое!

(Reply to this) (Parent)