Re: Request for Review of ZF Inconsistency Proof

On Jun 5, 10:00 am, magi...@xxxxxxxxxxxxxxxxx (Arturo Magidin) wrote:
Let f be f(n) = s[0],...,s[i-1],s[i]

You'll notice the absence of an ellipsis at the end. Thus, you are
saying f(n) is a FINITE string.

So incorporating feedback:

Let S denote the infinite set of infinite denumerable binary strings
with alphabet {0,1}. An individual string s is denoted as
s[0],...,s[i-1],s[i],....

Proposition 2.1: There exists an injective function f from N to S.

Proof: Let f be f(n)=s[0],...,s[i-1],s[i],... where (as previously)...

Is this sufficiently cleaned up to convey the intent?

.

Relevant Pages

  • Re: infinity
    ... >>> Why are you assuming that there is a longest word in the language? ... >> finite, that means none are infinite, therefore S^L is not infinite either. ... > I am not assuming that there is a longest word. ... > the maximum string length, i.e. the largest finite natural number. ...
    (sci.math)
  • Re: .99999... still=/= 1
    ... >>2) The point of reference means how we define the counting results ... the string length and the members in the placeholders of the string. ... Note that supernatural numbers are that I have called earlier infinite ... omega 1 is behind our standard infinity in the next infinity. ...
    (sci.math)
  • Re: Logarithm of transfinite numbers
    ... or the value of the string I am discussing. ... There is no point at which any finite natural has an infinite ... They ARE the finite naturals. ... At which point has my abstraction differed from what you're ...
    (sci.math)
  • Re: Logarithm of transfinite numbers
    ... Tony Orlow wrote: ... Can all 1's up to any finite position represent an infinite ... There is no infinite position in the string. ... And no sum ending at M represents the sum over the ...
    (sci.math)
  • Re: Calculus XOR Probability
    ... as is true for the other 9 digits, and finally, reminded you that my infinite ... The center-infinite string has its left string all zeros, ... that can't be determined in such an infinite division. ... and if you have any memory of the response which I describe ...
    (sci.math)