Date: Jan 29, 2013 3:54 AM
Author: William Hughes
Subject: Re: Matheology § 203
On Jan 29, 9:33 am, WM <mueck...@rz.fh-augsburg.de> wrote:
> "All" and "every" in impredicative statements about infinite sets.
> Consider the following statements:
> A) For every natural number n, P(n) is true.
> B) There does not exist a natural number n such that P(n) is false.
> C) For all natural numbers P is true.
> A implies B but A does not imply C.
Which is the point. Even though A
does not imply C we still have
A implies B.
Let L be a list
d the antidiagonal of L
P(n), d does not equal the nth line of L
We have (A)
For every natural number n, P(n) is true.
This implies (B)
There does not exist a natural number n
such that P(n) is false.
In other words, there is no line of L that
is equal to d.