Date: Jan 29, 2013 6:02 AM Author: William Hughes Subject: Re: Matheology § 203

To summarize

For every natural number, n, the antidiagonal,d, of a list L

is not equal to the nth line of L

A statement WM has made.

A) For every natural number n, P(n) is true.

implies

B) There does not exist a natural number n such that P(n) is

false.

A statement WM has made.

There does not exist a natural number n such that d is

equal to the nth line of L

A statement WM disputes