Cantor's Theorem and Uncountability
Foundation
0 / 41 foundation3 intermediateAdapts to your performance
1 / 4
60sfoundation (3/10)state theorem
In Cantor's diagonal argument proving [0,1] is uncountable, you assume a listing r_1, r_2, r_3, ... of all reals in [0,1]. How is the contradiction constructed?