Re: Request for Review of ZF Inconsistency Proof

On Jun 5, 9:47 am, magi...@xxxxxxxxxxxxxxxxx (Arturo Magidin) wrote:
Thanks for pointing out this typing error. Let S denote the infinite
set of infinite denumerable binary strings with alphabet {0,1}.

Then your function as defined is incorrect. The images are FINITE
strings, so they are not elements of S.

Why do you conclude the image contains finite strings? As defined
i=infinity and x=0..i so the image should contain infinite strings.

.