Twierdzenie Cantora o większej mocy zbioru potęgowego zawiera dość ważny błąd.  Georg Cantor w tym dowodzie zakłada na samym początku egzystencję zbioru B zdefiniowanego formułą: {x∈ℕ:x∉f(x)}     #######################################    Twierdzę, że predykat: {x∈ℕ:x∉f(x)}                          nie definiuje zbioru dla każdej funkcji  f: ℕ→P(ℕ)      **************************************************  ...Read More