mike3 a écrit : >> >>> This is also fine. But that doesn't mean it >>> produces a finite extent of continuum, unless you take real numbers >>> *are* the continuum, which we could not establish so far. >> No. The proof that a set with beth-one real numbers can have finite >> extent is a fairly elementary proof, that does not involve any >> concept of "contiuum", just the definition of measure. >> The proof is not difficult, but you will not find it on Wikipedia. >> You will need to consult an introductory measure theory text. >> > > What about another free (gratis) source that is NOT Wikipedia?
Why not try making your own proofs?
And why bother with that troll ? (anybody mentioning beth-1 (and wikipedia, etc.) for a (lack of) proof that singletons of reals have (Lebesgue) measure 0 ans intervals have measure (b-a)>0 *is* a troll.)