On Mar 23, 10:56 pm, WM <mueck...@rz.fh-augsburg.de> wrote: > On 23 Mrz., 21:54, William Hughes <wpihug...@gmail.com> wrote:
> > You have agreed that, "under the assumption that actual > > infinity is a meaningful notion" > > you have not shown that we could remove all finite lines > > without changing the union in any way. > > You reverse the facts.
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 because my proof rests WM: upon the premise that actual infinity is a meaningful notion.