Date: Mar 23, 2013 11:15 AM
Subject: Re: Matheology § 224
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.