sds Doktorant: Korzystając z twierdzenia Cantora−Bernsteina udowodnić równoliczność zbiorów (−1;1) U {10,2017} i (0;1) U {−2017,3,4}.

Adamm: (0, 1)≤|(−1, 1)∪{10, 2017}|≤R (0, 1)≤|(0, 1)∪{−2017, 3, 4}|≤R a ponieważ (0, 1) jest równoliczny z R, to oba zbiory muszą być równoliczne z R, innymi słowy, być równoliczne

Adamm: może nie innymi słowy po prostu wynika z tego fakt że są równoliczne