Date: Mar 20, 2013 5:33 PM
Subject: Re: Matheology § 224
On 3/20/2013 3:14 PM, Virgil wrote:
> In article
> WM <email@example.com> wrote:
>> On 20 Mrz., 20:40, William Hughes <wpihug...@gmail.com> wrote:
>>> On Mar 20, 4:24 pm, WM <mueck...@rz.fh-augsburg.de> wrote:
>>>> I show that every line, that is not the last line, is not needed.
>>> Nope. You show that it is not necessary for its contents.
>>> This is not the same as not needed.
>> I show that every line, that is not the last line, is not needed to
>> remain in the list in order to have its contents in the list.
> While you can show that any line that is not A last line is
> dispensible, you cannot show it for every line that is not THE last
> line, since "THE last line" implies a condition contrary to fact.
Problems with singular terms...
Problems with finitary quantification...
How will WM "find" the end?