On 11 Apr., 19:19, William Hughes <wpihug...@gmail.com> wrote:
> > > So you agree that B implies A. > > yep, but A does not imply C: P(d_1,d_2,d_3..)
That is your interpretation. Although I do not understand, why you insist on having only this restricted meaning, I will not object, since there can be no final decision.
But if you consider my example with the Cantor list, there the generally accepted interpretation of "for all n: P(n)" is that every line l_n has been "removed" from the set of possible duplicates of the anti-diagonal. P(n) means entry in line l_n differs from d.