Cantor diagonalisation

Re:Cantor diagonalisation by danharaj on Friday March 10, 2017 @10:34PM (#13844063)

Yes, in that case S is {}. {} ∈ P(A) but is not in the image of e.

[ Parent | on HN ]

Re:Cantor diagonalisation by danbruc on Friday March 10, 2017 @10:48PM (#13844103)

Thanks, now it clicked. I misinterpreted the image as the image of x instead of as the image of e. And then did something weired that now makes no longer any sense at all.

[ Parent | on HN ]