```Date: Mar 15, 2013 3:34 PM
Author: mueckenh@rz.fh-augsburg.de
Subject: Re: Matheology § 224

On 15 Mrz., 17:13, William Hughes <wpihug...@gmail.com> wrote:> On Mar 14, 10:32 am, WM <mueck...@rz.fh-augsburg.de> wrote:>> <snip>>>>>>> >... consider the list of finite initial segments of natural numbers>> > 1> > 1, 2> > 1, 2, 3> > ...>> > According to set theory it contains all aleph_0 natural numbers in its> > lines. But is does not contain a line containing all natural numbers.> > Therefore it must be claimed that more than one line is required to> > contain all natural numbers. This means at least two line are> > necessary. There are no special lines necessary, but there must be at> > least two. In this case, however, we can prove, by the construction of> > the list, that every union of a pair of lines is contained in one of> > the lines. This contradicts the assertion that all natural numbers> > exist and are in lines of the list.>> Nope.>> Nope, two lines are necessary but not sufficient.Let's first prove that already two cannot be necessary by the factthat two always can be replaced by one of them without changing thecontents. Then it is clear that two or more cannot be necessary andfrom this immediately follows that they also cannot be sufficient.>> Two lines can never do a better job than 1.>> Any finite number of lines is necessary but not sufficient.Wrong. Why do you resist to apply logic?>> Any finite number of lines can never do a better job than 1.>> An infinite number of lines is necessary and sufficientExercise: If of any two line one is not necessary, how many ofinfinitely many lines are not necessary?>> An infinite number of lines can do a better job than 1That is a confession of irrational belief. With exactly the same rightyou could state: An infinite number of even naturals contains an oddnatural.You may claim so, but it is not part of mathematics. You shouldaccept: If someone claims infinity and is not even able to show two,then his claim is nothing that could be provable, hence nothing thatbelongs to mathematics.>> [In potential infinity things go>> Any number of findable lines is not sufficient>> An unfindable line is necessary and sufficientIn any case the last line contains every number of the list. This isso by construction. We have the choice between 1 line (in potentialinfinity) and 0 lines (in actual infinity).Regards, WM
```