On 3/20/2013 3:02 PM, WM wrote: > On 20 Mrz., 19:44, Virgil <vir...@ligriv.com> wrote: > >>> Either there is a list that contains everyting that the list contins >>> in two or more lines. >> >> Since each line has a successor line and is a proper subset of that >> successor line, the only "escape" is to have a nonempty set of lines >> with no last line. > > What should a missing last line help? As it is not present in the > list, it cannot change the contents of the list. But every line, that > is not the last line and, therefore, is not missing, can be made > missing without changing the contents of the list. > >>> Since contents can only exist in lines, and since every line is >>> superset to all its predecessors, the proof is correct. It shows that >>> actual infinity is unreasonable. >> >> It does not show any such thing > > You could as well refrain from declaming assertions. Here is > sci.logic, not spec.tacle.
If it appears that way, it is because you have created the conditions for it.