Wpis z mikrobloga

@EstradaOrNada:
Załóżmy, że f : A -> P(A) nie jest surjekcją. Ustalmy zbiór S = { x jest elementem A : x nie należy do f(x) }.
Wtedy istnieje a ze zbioru A t. że f(a) = S, ale a należy do f(a) <-> a nie należy do f(a). Sprzeczność.
@Kicer86: Zakładasz, że dla każdej liczby 0,xxx masz przypisaną jakąś liczbę naturalną. Skoro dostajesz nową liczbę 0,yyy lecącą po przekątnej, to jest to inna liczba, ponieważ ona nie należy do tego zbioru ponumerowanych liczb naturalnych. Czy coś w tym stylu.