On 23 Mrz., 15:01, William Hughes <wpihug...@gmail.com> wrote: > On Mar 23, 2:43 pm, WM <mueck...@rz.fh-augsburg.de> wrote: > > > On 23 Mrz., 10:31, William Hughes <wpihug...@gmail.com> wrote: > > > We both agree that you have not shown that we can > > > do something which leaves no lines and does not > > > change the union. > > > No, of course we do not. > > WH: this does not mean that one can do something > WH: that does not leave any of the lines of K > WH: and does not change the union of all lines. > > WM: That is clear
Please complete this sentence: "That is clear because my proof rests upon the premise that actual infinity is a meaningful notion."
If actual infinity was existing as a meaningful notion, then we could remove all finite lines without changin the union in any way.