Date: Mar 24, 2013 3:28 PM
Author: fom
Subject: Re: Matheology § 224

On 3/24/2013 10:09 AM, WM wrote:
> On 24 Mrz., 14:42, William Hughes <wpihug...@gmail.com> wrote:
>> On Mar 24, 12:13 pm, WM <mueck...@rz.fh-augsburg.de> wrote:
>>

>>> On 24 Mrz., 11:02, William Hughes <wpihug...@gmail.com> wrote:
>>
>>>> On Mar 24, 10:23 am, WM <mueck...@rz.fh-augsburg.de> wrote:
>>
>>>>> On 23 Mrz., 23:58, William Hughes <wpihug...@gmail.com> wrote:
>>>>>> 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.

>>
>>>>> This does not mean that one can really do so
>>
>>>> It does, however, mean that you have not shown
>>>> that one can or cannot.

>>
>> Have you shown that "one can or cannot".
>>
>> Yes or no please.

>
> This question shows that you have not understood or pretend so at
> least.
>
> Given actual infinity, namely more naturals than are in any FISON, it
> is obvious that any FISON can be removed.


My goodness. A definition

Given X

Given some arbitrary FISON_y

|FISON_y| < |X|

Therefore, X is infinite.

Please define the use of |*|


> Your conter arguments are
> invalid. So I have shown, that all can be removed without change.



Then quote the exact language used by WH and demonstrate
what is invalid.